T-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.
test_1_getDeepestFirstPrimGoal_andAllocateBudget() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_2_getDeepestFirstPrimGoal_andAllocateBudget() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_abort() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
test_addingAGoal_withAddAfter() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
test_addingAGoal_withAddBefore() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
Test_AddRemoveGoal_Action - Class in nl.uu.cs.aplib.mainConcepts
Test_AddRemoveGoal_Action() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_AddRemoveGoal_Action
test_and() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL2BuchiTranslator
test_andRewrite(LTL<Integer>, List<Integer>...) - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_and_rewriting
Test_AutonomousBasicAgent - Class in nl.uu.cs.aplib.agents
Test_AutonomousBasicAgent() - Constructor for class nl.uu.cs.aplib.agents.Test_AutonomousBasicAgent
Test_AutonomousBasicAgent.MyState - Class in nl.uu.cs.aplib.agents
test_awakening_betweenTicksSleep() - Method in class nl.uu.cs.aplib.agents.Test_AutonomousBasicAgent
Test_BasicAgent - Class in nl.uu.cs.aplib.mainConcepts
Test_BasicAgent() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
Test_BasicAgent_budgeting - Class in nl.uu.cs.aplib.mainConcepts
Test_BasicAgent_budgeting() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent_budgeting
Test_BasicAgent_budgeting.MyState - Class in nl.uu.cs.aplib.mainConcepts
Test_BasicAgent.MyState - Class in nl.uu.cs.aplib.mainConcepts
Test_BoundedLTL - Class in eu.iv4xr.framework.extensions.ltl
Test_BoundedLTL() - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_BoundedLTL
Test_BoundedLTL.MyAction - Class in eu.iv4xr.framework.extensions.ltl
Test_BoundedLTL.MyState - Class in eu.iv4xr.framework.extensions.ltl
Test_BuchiModelChecker - Class in eu.iv4xr.framework.extensions.ltl
Test_BuchiModelChecker() - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_BuchiModelChecker
test_calcNextTactic() - Method in class nl.uu.cs.aplib.mainConcepts.Test_Tactic
test_CONDITIONED_REPEAT() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Test REPEAT(g,p).
test_conversion_mesh_to_SimpleNavGraph() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph
test_conversion_mesh_to_SurfaceNavGraph() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph: When mesh0 above is converted to a surface Nav-graph, center points are added.
test_coverage_tracking() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestDataCollector
test_debugmode() - Method in class nl.uu.cs.aplib.mainConcepts.Test_Environment
Test_DynamicGoalStructure - Class in nl.uu.cs.aplib.mainConcepts
Test_DynamicGoalStructure() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure
Test_DynamicGoalStructure.MyState - Class in nl.uu.cs.aplib.mainConcepts
Test_Environment - Class in nl.uu.cs.aplib.mainConcepts
Test_Environment() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_Environment
Test_Environment.MyEnv - Class in nl.uu.cs.aplib.mainConcepts
Test_Environment.MyInstrumenter - Class in nl.uu.cs.aplib.mainConcepts
test_eventually() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BuchiModelChecker
test_eventuallyAlways() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BuchiModelChecker
test_exhaustingbudget_on_multiplegoals() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent_budgeting
test_explore() - Method in class eu.iv4xr.framework.extensions.pathfinding.Test_LayeredAreasNavigation
test_explore() - Method in class eu.iv4xr.framework.extensions.pathfinding.Test_Sparse2DTiledSurface_NavGraph
Test_GCDGame - Class in eu.iv4xr.framework.exampleTestAgentUsage: This class demonstrates how to use iv4xr TestAgent to test a simple program, which is a game provided by the class GCDGame.
Test_GCDGame() - Constructor for class eu.iv4xr.framework.exampleTestAgentUsage.Test_GCDGame
Test_GCDGame.GCDEnv - Class in eu.iv4xr.framework.exampleTestAgentUsage: Define an Environment to provide an interface between the test agent and the program-under-test.
Test_GCDGame.MyState - Class in eu.iv4xr.framework.exampleTestAgentUsage: Define a new state-structure for the agent.
test_getFirstEnabledActions() - Method in class nl.uu.cs.aplib.mainConcepts.Test_Tactic
test_getNextPrimitiveGoal_noBudgetCheck() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_getNextPrimitiveGoal_withBudgetCheck() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_getProperty() - Method in class eu.iv4xr.framework.mainConcepts.Test_WorldEntity
Test_GoalAutoRemoval - Class in nl.uu.cs.aplib.mainConcepts
Test_GoalAutoRemoval() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_GoalAutoRemoval
Test_GoalStructure - Class in nl.uu.cs.aplib.mainConcepts
Test_GoalStructure() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_hasSameState() - Method in class eu.iv4xr.framework.mainConcepts.Test_WorldEntity
test_IF_goalstructure() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure
test_insert_and_renameBuchiStates() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_not_rewriting
test_instrumentation() - Method in class nl.uu.cs.aplib.mainConcepts.Test_Environment
Test_InterAgentCommunication - Class in nl.uu.cs.aplib.agents
Test_InterAgentCommunication() - Constructor for class nl.uu.cs.aplib.agents.Test_InterAgentCommunication
Test_InterAgentCommunication.MyState - Class in nl.uu.cs.aplib.agents
test_InvalidGoalStructureDetection() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_irreducible_cases() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_and_rewriting
Test_LayeredAreasNavigation - Class in eu.iv4xr.framework.extensions.pathfinding
Test_LayeredAreasNavigation() - Constructor for class eu.iv4xr.framework.extensions.pathfinding.Test_LayeredAreasNavigation
Test_LTL - Class in eu.iv4xr.framework.extensions.ltl
Test_LTL() - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_LTL
test_LTL_and_datacollection() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.Test_GCDGame: This example shows how to produce an execution trace, and then use LTL properties to check it.
Test_LTL_and_rewriting - Class in eu.iv4xr.framework.extensions.ltl
Test_LTL_and_rewriting() - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_LTL_and_rewriting
test_ltl_next() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL
Test_LTL_not_rewriting - Class in eu.iv4xr.framework.extensions.ltl
Test_LTL_not_rewriting() - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_LTL_not_rewriting
test_ltl_now() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL
Test_LTL2BuchiTranslator - Class in eu.iv4xr.framework.extensions.ltl
Test_LTL2BuchiTranslator() - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_LTL2BuchiTranslator
test_ltlAnd() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL
test_ltlNot() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL
test_ltlOr_Implies() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL
test_ltlUntil() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL
test_ltlWeakUntil() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL
test_markvisible() - Method in class eu.iv4xr.framework.extensions.pathfinding.Test_LayeredAreasNavigation
test_mergeNewObservation() - Method in class eu.iv4xr.framework.mainConcepts.Test_WorldModel
test_mergeOldObservation() - Method in class eu.iv4xr.framework.mainConcepts.Test_WorldModel
test_nested_autoremove() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalAutoRemoval
test_next_cases() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_and_rewriting
test_no_removal_case() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalAutoRemoval
test_now_and_next() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL2BuchiTranslator
test_now_cases() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_and_rewriting
test_or() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL2BuchiTranslator
test_pathfinding() - Method in class eu.iv4xr.framework.extensions.pathfinding.Test_LayeredAreasNavigation
test_pathfinding() - Method in class eu.iv4xr.framework.extensions.pathfinding.Test_Sparse2DTiledSurface_NavGraph: Test path-finding with blockers.
test_pathFinding_on_SimpleNavGarph() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph
test_pause_resume_stop() - Method in class nl.uu.cs.aplib.agents.Test_AutonomousBasicAgent
test_persistentAction() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
test_pushNeg() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_not_rewriting
test_pushNeg(LTL<Integer>, List<Integer>...) - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_not_rewriting
test_recursion() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_and_rewriting
test_register_remove_instrumenter() - Method in class nl.uu.cs.aplib.mainConcepts.Test_Environment
test_registerCoverageVisit() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestAgent
test_registerEvent() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestAgent
test_registerToDataCollector() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestAgent
test_registerVerdict() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestAgent
test_rejectedSend() - Method in class nl.uu.cs.aplib.agents.Test_InterAgentCommunication
test_removingAGoal() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
test_resume_by_msg() - Method in class nl.uu.cs.aplib.agents.Test_AutonomousBasicAgent
test_SAT_find_findShortest() - Method in class eu.iv4xr.framework.extensions.ltl.Test_SimpleModelChecker
test_saving_collecteddata() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestDataCollector
test_scalar_tracing_and_saving() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestDataCollector
test_sending_and_receiving() - Method in class nl.uu.cs.aplib.agents.Test_InterAgentCommunication
test_setgoal_awaken_suspendedAgent() - Method in class nl.uu.cs.aplib.agents.Test_AutonomousBasicAgent
test_setting_maxbudget() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
Test_SimpleModelChecker - Class in eu.iv4xr.framework.extensions.ltl
Test_SimpleModelChecker() - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_SimpleModelChecker
Test_SimpleModelChecker.MyProgram - Class in eu.iv4xr.framework.extensions.ltl: Some program we use as target for testing model-checker.
Test_SimpleModelChecker.Transition - Class in eu.iv4xr.framework.extensions.ltl
test_simpleremoval_cases() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalAutoRemoval
test_simplescenario() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent_budgeting
Test_Sparse2DTiledSurface_NavGraph - Class in eu.iv4xr.framework.extensions.pathfinding
Test_Sparse2DTiledSurface_NavGraph() - Constructor for class eu.iv4xr.framework.extensions.pathfinding.Test_Sparse2DTiledSurface_NavGraph
test_statechange() - Method in class eu.iv4xr.framework.mainConcepts.Test_WorldEntity
test_status_propagation_over_FIRSTof() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_status_propagation_over_REPEAT() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_status_propagation_over_SEQ() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_submitProposal() - Method in class nl.uu.cs.aplib.mainConcepts.Test_GoalStructure
test_SurfaceNavgrapg_getNearestUnblockedVertex() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph
test_SurfaceNavgraph_fromVec3Location_exploration() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph: Test exploration from a Vec3 location.
test_SurfaceNavgraph_vec3location_pathfinding() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph: Test path-finding between any Vec-3 start and goal locations (rather than vertex to vertex).
test_SurfaceNavGraph_vertex2vertex_pathPinfing() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph: Test vertex to vertex path-finding on SurfaceNavGraph, under perfect memory.
test_SurfaceNavGraph_vertexlevel_exploration() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph: Test vertex to vertex, memory-based path-finding (exploration) on SurfaceNavGraph.
Test_Tactic - Class in nl.uu.cs.aplib.mainConcepts
Test_Tactic() - Constructor for class nl.uu.cs.aplib.mainConcepts.Test_Tactic
Test_Tactic.IntState - Class in nl.uu.cs.aplib.mainConcepts
Test_TestAgent - Class in eu.iv4xr.framework.mainConcepts
Test_TestAgent() - Constructor for class eu.iv4xr.framework.mainConcepts.Test_TestAgent
Test_TestDataCollector - Class in eu.iv4xr.framework.mainConcepts
Test_TestDataCollector() - Constructor for class eu.iv4xr.framework.mainConcepts.Test_TestDataCollector
test_TestGoal() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestGoal
Test_TestGoal - Class in eu.iv4xr.framework.mainConcepts
Test_TestGoal() - Constructor for class eu.iv4xr.framework.mainConcepts.Test_TestGoal
Test_TestGoal.Proposal - Class in eu.iv4xr.framework.mainConcepts
test_testsuiteGenerator() - Method in class eu.iv4xr.framework.extensions.ltl.Test_SimpleModelChecker
test_TRYIF_goalstructure() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure
test_UNSAT() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BoundedLTL: Testing different cases of unsat.
test_until() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BuchiModelChecker
test_until() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL2BuchiTranslator
test_until_and_weakuntil_cases() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL_and_rewriting
test_upperbound_on_segment_length() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BoundedLTL
test_verdict_tracking() - Method in class eu.iv4xr.framework.mainConcepts.Test_TestDataCollector
test_visibility() - Method in class eu.iv4xr.framework.extensions.pathfinding.Test_Sparse2DTiledSurface_NavGraph
test_waitUntilTheGoalIsConcluded() - Method in class nl.uu.cs.aplib.agents.Test_AutonomousBasicAgent
test_weakuntil() - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL2BuchiTranslator
test_weakUntil() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BuchiModelChecker
test_when_p_or_q_holds_immediately() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BoundedLTL
test_when_thereare_multiple_sat_segments() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BoundedLTL
test_WHILE() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Test WHILE(p,g).
test_WHILEDO_goalstructure_exit_by_bodysuccess() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Test WHILEDO(p,g)for the scenario where the loop terminates because g succeeds.
test_WHILEDO_goalstructure_exit_by_guard_false() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Test WHILEDO(p,g) for the scenario where the loop terminates because the guard p becomes false.
test_with_multipleActions() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
test_with_multipleGoals() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
test_with_oneaction() - Method in class nl.uu.cs.aplib.mainConcepts.Test_BasicAgent
Test_WorldEntity - Class in eu.iv4xr.framework.mainConcepts
Test_WorldEntity() - Constructor for class eu.iv4xr.framework.mainConcepts.Test_WorldEntity
Test_WorldModel - Class in eu.iv4xr.framework.mainConcepts
Test_WorldModel() - Constructor for class eu.iv4xr.framework.mainConcepts.Test_WorldModel
test0() - Method in class nl.uu.cs.aplib.mainConcepts.Test_AddRemoveGoal_Action
test1() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.SimpleTestMiniDungeonWithAgent: In this test the agent will search and pick up scroll S0_1, and then use it on the shrine of level-0.
test1() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.TestCoba
test1() - Method in class eu.iv4xr.framework.extensions.ltl.Test_BoundedLTL
test1() - Method in class nl.uu.cs.aplib.mainConcepts.Test_AddRemoveGoal_Action
test1_DEPLOY() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Test that the dynamically deployed goal using DEPLOY is added and executed.
test1_DEPLOYonce() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Test that the dynamically deployed goal using DEPLOYonce is added and executed.
test1distFromPoint_to_rectangleface() - Method in class eu.iv4xr.framework.spatial.meshes.TestFace: Test the method for calculating the 3D distance between a point to a Face.
test2() - Method in class nl.uu.cs.aplib.mainConcepts.Test_AddRemoveGoal_Action
test2_DEPLOY() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Test that the dynamically deployed goal using DEPLOY is added and executed.
test2_DEPLOYonce() - Method in class nl.uu.cs.aplib.mainConcepts.Test_DynamicGoalStructure: Check that repeatedly executing DEPLOYonce will only deploy the new goal once.
test2_distFromPoint_to_triangleface() - Method in class eu.iv4xr.framework.spatial.meshes.TestFace
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.
testBlocking() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimpleNavGraph
TestBox - Class in eu.iv4xr.framework.spatial
TestBox() - Constructor for class eu.iv4xr.framework.spatial.TestBox
testBuchi(LTL<IExplorableState>, SATVerdict) - Method in class eu.iv4xr.framework.extensions.ltl.Test_LTL2BuchiTranslator
testBuildSimpleMaze() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestMaze
TestCoba - Class in eu.iv4xr.framework.exampleTestAgentUsage
TestCoba() - Constructor for class eu.iv4xr.framework.exampleTestAgentUsage.TestCoba
testConstructorOnePlayers() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestMiniDungeon
testConstructorTwoPlayers() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestMiniDungeon
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
testEntity() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
TestFace - Class in eu.iv4xr.framework.spatial.meshes
TestFace() - Constructor for class eu.iv4xr.framework.spatial.meshes.TestFace
testFrodo() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
testFullPlay(String) - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.TestMiniDungeonWithAgent
testFullPlayFrodo() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.TestMiniDungeonWithAgent
testFullPlaySmeagol() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.TestMiniDungeonWithAgent
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.
testHealPot() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
testHit() - Method in class eu.iv4xr.framework.spatial.TestBox
testHit() - Method in class eu.iv4xr.framework.spatial.TestSphere
testHit() - Method in class eu.iv4xr.framework.spatial.TestTriangle
testLength() - Method in class eu.iv4xr.framework.spatial.TestVec3
testMaze1() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestMaze
TestMiniDungeonWithAgent - Class in eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon: This simulates a playtest of the game MiniDungeon.
TestMiniDungeonWithAgent() - Constructor for class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.TestMiniDungeonWithAgent
TestMiniDungeonWithAgent.Always - Class in eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon
TestMiniDungeonWithAgent.Eventually - Class in eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon
TestMiniDungeonWithAgent.Specification - Class in eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon
testMiss() - Method in class eu.iv4xr.framework.spatial.TestBox
testMiss() - Method in class eu.iv4xr.framework.spatial.TestSphere
testMiss() - Method in class eu.iv4xr.framework.spatial.TestTriangle
testMonster() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
testNeighbors() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimpleNavGraph
testNormalize() - Method in class eu.iv4xr.framework.spatial.TestVec3
testPlayer() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
testRagePot() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
tests - Variable in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker.TestSuite: The test-cases that constitute this test suite.
tests() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.Test_GCDGame
tests() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.TestWithWrappingEnv_GCDGame
testScroll() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
testSeeding() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestMiniDungeon
testShrine() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
TestSimple_and_SurfaceNavGraph - Class in eu.iv4xr.framework.extensions.pathfinding
TestSimple_and_SurfaceNavGraph() - Constructor for class eu.iv4xr.framework.extensions.pathfinding.TestSimple_and_SurfaceNavGraph
TestSimpleNavGraph - Class in eu.iv4xr.framework.extensions.pathfinding
TestSimpleNavGraph() - Constructor for class eu.iv4xr.framework.extensions.pathfinding.TestSimpleNavGraph
testSmeagol() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
TestSphere - Class in eu.iv4xr.framework.spatial
TestSphere() - Constructor for class eu.iv4xr.framework.spatial.TestSphere
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
testTouch() - Method in class eu.iv4xr.framework.spatial.TestBox
testTouch() - Method in class eu.iv4xr.framework.spatial.TestSphere
testTriangle() - Method in class eu.iv4xr.framework.extensions.pathfinding.TestSimpleNavGraph
TestTriangle - Class in eu.iv4xr.framework.spatial
TestTriangle() - Constructor for class eu.iv4xr.framework.spatial.TestTriangle
TestVec3 - Class in eu.iv4xr.framework.spatial
TestVec3() - Constructor for class eu.iv4xr.framework.spatial.TestVec3
testVisibility() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestMiniDungeon
testWall() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.miniDungeon.UnitTestEntity
TestWithWrappingEnv_GCDGame - Class in eu.iv4xr.framework.exampleTestAgentUsage: This class demonstrates how to use iv4xr TestAgent to test a simple class.
TestWithWrappingEnv_GCDGame() - Constructor for class eu.iv4xr.framework.exampleTestAgentUsage.TestWithWrappingEnv_GCDGame
TestWithWrappingEnv_GCDGame.GCDEnv - Class in eu.iv4xr.framework.exampleTestAgentUsage: Define an Environment to provide an interface between the test agent and the program-under-test.
TestWithWrappingEnv_GCDGame.MyState - Class in eu.iv4xr.framework.exampleTestAgentUsage: Define a new state-structure for the agent.
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 - Variable in class eu.iv4xr.framework.exampleTestAgentUsage.Test_GCDGame.MyState
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.exampleTestAgentUsage.Test_GCDGame.MyState
toString() - Method in class eu.iv4xr.framework.exampleTestAgentUsage.TestWithWrappingEnv_GCDGame.GCDEnv
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.ltl.Test_SimpleModelChecker.MyProgram
toString() - Method in class eu.iv4xr.framework.extensions.ltl.Test_SimpleModelChecker.Transition
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
Transition(String) - Constructor for class eu.iv4xr.framework.extensions.ltl.Test_SimpleModelChecker.Transition
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
triangle1() - Method in class eu.iv4xr.framework.spatial.meshes.TestFace
triangle2() - Method in class eu.iv4xr.framework.spatial.meshes.TestFace
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