Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes|All Packages|Constant Field Values|Deprecated API|Serialized Form

T

tactic - Variable in class nl.uu.cs.aplib.mainConcepts.Goal

Tactic - Class in nl.uu.cs.aplib.mainConcepts

A Tactic is needed to solve a Goal.

Tactic(Tactic.TacticType, Tactic...) - Constructor for class nl.uu.cs.aplib.mainConcepts.Tactic

Construct a new Tactic of the given type, with the given subtactics.

Tactic.PrimitiveTactic - Class in nl.uu.cs.aplib.mainConcepts

A subclass of Tactic representing a single Action.

Tactic.TacticType - Enum in nl.uu.cs.aplib.mainConcepts

Four types of Tactic.

tacticLib - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.GoalLib

TacticLib - Class in nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent

Provide several basic actions and tactics.

TacticLib() - Constructor for class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.TacticLib

target - Variable in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWTransition

targetId - Variable in class nl.uu.cs.aplib.mainConcepts.Environment.EnvOperation

A unique id identifying the entity in the real environment to which this operation is targeted.

targets - Variable in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker.TestSuite

All the 'targets' that are to be covered.

test(String) - Method in class nl.uu.cs.aplib.agents.PrologReasoner

Check if the given query would return a result.

TestAgent - Class in eu.iv4xr.framework.mainConcepts

This class implements a test-agent.

TestAgent() - Constructor for class eu.iv4xr.framework.mainConcepts.TestAgent

Create a blank instance of TestAgent.

TestAgent(String, String) - Constructor for class eu.iv4xr.framework.mainConcepts.TestAgent

Create a plain instance of TestAgent with the given id and role.

testDataCollector - Variable in class eu.iv4xr.framework.mainConcepts.TestAgent

TestDataCollector - Class in eu.iv4xr.framework.mainConcepts

This class is used to collect information from one or more test-agents.

TestDataCollector() - Constructor for class eu.iv4xr.framework.mainConcepts.TestDataCollector

TestDataCollector.CoverageMap - Class in eu.iv4xr.framework.mainConcepts

This class is used to keep track which coverage-points were visited.

TestDataCollector.EventTrace - Class in eu.iv4xr.framework.mainConcepts

This class is used to hold a chronological list of time-stamped events.

testDesc - Variable in class eu.iv4xr.framework.mainConcepts.TestAgent

testgoal(String) - Static method in class eu.iv4xr.framework.Iv4xrEDSL

Create a blank instance of TestGoal with the given name.

testgoal(String, TestAgent) - Static method in class eu.iv4xr.framework.Iv4xrEDSL

Create a blank instance of TestGoal with the given name, and linking it to the given test-agent.

TestGoal - Class in eu.iv4xr.framework.mainConcepts

A TestGoal is a Goal, but you can additionally specify a test oracle.

TestGoal(String) - Constructor for class eu.iv4xr.framework.mainConcepts.TestGoal

Create a blank test-goal with the specified name.

TestGoal(String, TestAgent) - Constructor for class eu.iv4xr.framework.mainConcepts.TestGoal

Create a blank test-goal with the specified name, and link this goal to the given test agent.

tests - Variable in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker.TestSuite

The test-cases that constitute this test suite.

testSuite(List<CoverageItem>, Function<IExplorableState, CoverageItem>, int, boolean) - Method in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker

Return a test suite that tries to cover the specified coverage targets.

TestSuite() - Constructor for class eu.iv4xr.framework.extensions.ltl.BasicModelChecker.TestSuite

thegame - Variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGameEnv

thegame - Variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.GameDisplay

thegame() - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.MyAgentEnv

thereIs(LTL<IState>) - Method in class eu.iv4xr.framework.extensions.ltl.BoundedLTL

thisAgentThread - Variable in class nl.uu.cs.aplib.agents.AutonomousBasicAgent

TIE - Enum constant in enum nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame.GAMESTATUS

Tile() - Constructor for class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph.Tile

Tile(float, float) - Constructor for class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph.Tile

Tile(int, int) - Constructor for class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph.Tile

Time - Class in nl.uu.cs.aplib.utils

A class to track elapsed computing time.

Time() - Constructor for class nl.uu.cs.aplib.utils.Time

timestamp - Variable in class eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

timestamp - Variable in class eu.iv4xr.framework.mainConcepts.WorldEntity

Represent the last time the state of this entity is sampled.

timestamp - Variable in class eu.iv4xr.framework.mainConcepts.WorldModel

Represent the last time this WorldModel is updated with fresh sampling.

timestamp() - Method in class nl.uu.cs.aplib.multiAgentSupport.Message

Assign a time-stamp to this message.

timeStamp - Variable in class nl.uu.cs.aplib.multiAgentSupport.Message

TimeStampedObservationEvent() - Constructor for class eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

TimeStampedObservationEvent(String) - Constructor for class eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

Create a time-stamped observation-event with the given id.

TimeStampedObservationEvent(String, String) - Constructor for class eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

Create a time-stamped observation-event.

toChar(Entity) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon

toCommand(char) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon

toggleBlockingOff(Obstacle) - Method in interface eu.iv4xr.framework.extensions.pathfinding.CanDealWithDynamicObstacle

Change the state of this obstacle to non-blocking.

toggleBlockingOn(Obstacle) - Method in interface eu.iv4xr.framework.extensions.pathfinding.CanDealWithDynamicObstacle

Change the state of this obstacle to blocking.

topMargin - Variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.GameDisplay

toSolve(Predicate<Proposal>) - Method in class eu.iv4xr.framework.mainConcepts.TestGoal

Set the predicate which would serve as the predicate to solve.

toSolve(Predicate<Proposal>) - Method in class nl.uu.cs.aplib.mainConcepts.Goal

Set the predicate which would serve as the predicate to solve.

toSolve_(Predicate) - Method in class nl.uu.cs.aplib.mainConcepts.Goal

Set the predicate which would serve as the predicate to solve.

toString() - Method in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker.MCStatistics

toString() - Method in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker.Path

toString() - Method in class eu.iv4xr.framework.extensions.ltl.BoundedLTL.WitnessTrace

toString() - Method in class eu.iv4xr.framework.extensions.ltl.Buchi

toString() - Method in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GameWorldModel

toString() - Method in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWObject

toString() - Method in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWZone

toString() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.And

toString() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Next

toString() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Not

toString() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Now

toString() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Or

toString() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Until

toString() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.WeakUntil

toString() - Method in class eu.iv4xr.framework.extensions.pathfinding.LayeredAreasNavigation

toString() - Method in class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph.Tile

toString() - Method in class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph

toString() - Method in class eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

toString() - Method in class eu.iv4xr.framework.mainConcepts.ObservationEvent

toString() - Method in class eu.iv4xr.framework.mainConcepts.ObservationEvent.VerdictEvent

toString() - Method in class eu.iv4xr.framework.mainConcepts.TestDataCollector.CoverageMap

toString() - Method in class eu.iv4xr.framework.mainConcepts.TestDataCollector.EventTrace

toString() - Method in class eu.iv4xr.framework.mainConcepts.TestDataCollector

toString() - Method in class eu.iv4xr.framework.mainConcepts.WorldEntity

toString() - Method in class eu.iv4xr.framework.spatial.IntVec2D

toString() - Method in class eu.iv4xr.framework.spatial.meshes.Face

toString() - Method in class eu.iv4xr.framework.spatial.meshes.Mesh

toString() - Method in class eu.iv4xr.framework.spatial.Vec3

toString() - Method in class nl.uu.cs.aplib.agents.PrologReasoner.Rule

toString() - Method in class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame

toString() - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon.MiniDungeonConfig

toString() - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon

toString() - Method in class nl.uu.cs.aplib.mainConcepts.ProgressStatus

toString() - Method in class nl.uu.cs.aplib.utils.Pair

toString(ArrayList<Vec3>) - Method in class eu.iv4xr.framework.spatial.meshes.Face

toStringShort() - Method in class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame

Produce a string summarizing the status of the game.

toStruct() - Method in class nl.uu.cs.aplib.agents.PrologReasoner.Rule

totalRuntime - Variable in class nl.uu.cs.aplib.mainConcepts.Action

toTile(Vec3) - Static method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.Utils

totInvocation() - Method in class nl.uu.cs.aplib.mainConcepts.Tactic

totRuntime() - Method in class nl.uu.cs.aplib.mainConcepts.Tactic

toWorldEntity(Entity) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.MyAgentEnv

trace - Variable in class eu.iv4xr.framework.extensions.ltl.BoundedLTL

trace - Variable in class eu.iv4xr.framework.extensions.ltl.BoundedLTL.WitnessTrace

A list of "transition".

trace - Variable in class eu.iv4xr.framework.mainConcepts.TestDataCollector.EventTrace

traditionalAcceptingStates - Variable in class eu.iv4xr.framework.extensions.ltl.Buchi

transitions - Variable in class eu.iv4xr.framework.extensions.ltl.Buchi

transitionTo(int) - Method in class eu.iv4xr.framework.extensions.ltl.Buchi

Execute a transition to a new state.

TRAVEL - Enum constant in enum eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWTransition.GWTransitionType

travelPreferrence - Variable in class eu.iv4xr.framework.extensions.pathfinding.SurfaceNavGraph

Specify preference when trying to find a path over the nav-graph.

travelTo(String) - Method in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GameWorldModel

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.Buchi

Construct a new Buchi that is a "clone" of this Buchi.

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.And

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Next

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Not

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Now

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Or

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL

Make a clone of this LTL formula.

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Until

treeClone() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.WeakUntil

Triangle - Class in eu.iv4xr.framework.spatial

Triangle(Vec3, Vec3, Vec3) - Constructor for class eu.iv4xr.framework.spatial.Triangle

triggerArrived - Variable in class nl.uu.cs.aplib.agents.AutonomousBasicAgent

tripleNWSE - Static variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies

tripleSouthNorth - Static variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies

tripleSWNE - Static variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies

tripleWestEast - Static variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies

TRYIF(Predicate<State>, GoalStructure, GoalStructure) - Static method in class nl.uu.cs.aplib.AplibEDSL

If this goal becomes current, it will evaluate the current state.

turnNr - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon

turnOffDebugInstrumentation() - Method in class nl.uu.cs.aplib.mainConcepts.Environment

turnOnDebugInstrumentation() - Method in class nl.uu.cs.aplib.mainConcepts.Environment

To turn on debug-instrumentation facility.

txtCharSize - Variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.GameDisplay

txtCharSize - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.DungeonApp

ty - Variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame.RandomPlayer

type - Variable in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWObject

type - Variable in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWTransition

type - Variable in class eu.iv4xr.framework.mainConcepts.WorldEntity

The type-name of the entity, e.g.

type - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes|All Packages|Constant Field Values|Deprecated API|Serialized Form