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

S

Sa1Solver<NavgraphNode> - Class in eu.iv4xr.framework.goalsAndTactics
 
Sa1Solver() - Constructor for class eu.iv4xr.framework.goalsAndTactics.Sa1Solver
 
Sa1Solver(BiFunction<Iv4xrAgentState<NavgraphNode>, WorldEntity, Boolean>, BiFunction<Iv4xrAgentState<NavgraphNode>, WorldEntity, Float>, Function<Iv4xrAgentState<NavgraphNode>, BiFunction<WorldEntity, WorldEntity, Float>>, Function<String, GoalStructure>, Function<String, GoalStructure>, Predicate<Iv4xrAgentState<NavgraphNode>>, Function<Integer, GoalStructure>) - Constructor for class eu.iv4xr.framework.goalsAndTactics.Sa1Solver
 
Sa1Solver.Policy - Enum in eu.iv4xr.framework.goalsAndTactics
Perform exploration for the given budget.
sample() - Method in class nl.uu.cs.aplib.utils.Time
Remember the time when this method is called.
samplingInterval - Variable in class nl.uu.cs.aplib.agents.AutonomousBasicAgent
The time interval in ms between two ticks.
sat() - Method in class eu.iv4xr.framework.extensions.ltl.BoundedLTL
Return the verdict of the last sat-checking.
sat() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.And
 
sat() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Next
 
sat() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Not
 
sat() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Now
 
sat() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Or
 
sat() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Until
 
sat() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.WeakUntil
 
sat() - Method in class eu.iv4xr.framework.extensions.ltl.SequencePredicate
Return the result of the checking whether this predicate holds on the last sequence given to it.
sat(Buchi) - Method in class eu.iv4xr.framework.extensions.ltl.BuchiModelChecker
Check if the target 'program' BuchiModelChecker.model can produce an infinite execution that would be accepted by the given Buchi automaton.
sat(Buchi, int) - Method in class eu.iv4xr.framework.extensions.ltl.BuchiModelChecker
Check if the target program has an finite execution of the specified maximum length, that ends in a state satisfying the predicate q.
sat(LTL<IExplorableState>) - Method in class eu.iv4xr.framework.extensions.ltl.BuchiModelChecker
Check if the target 'program' BuchiModelChecker.model can produce an infinite execution that would satisfy the given LTL formula.
sat(LTL<IExplorableState>, int) - Method in class eu.iv4xr.framework.extensions.ltl.BuchiModelChecker
Check if the target program has an finite execution of the specified maximum length that would witness the given LTL formula.
sat(Predicate<IExplorableState>) - Method in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker
Check if the target program has an finite execution that ends in a state satisfying the predicate q.
sat(Predicate<IExplorableState>, int) - Method in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker
Check if the target program has an finite execution of the specified maximum length, that ends in a state satisfying the predicate q.
sat(List<Pair<ITransition, IState>>) - Method in class eu.iv4xr.framework.extensions.ltl.BoundedLTL
This checks this BLTL formula on the given execution (list of pairs transition-state).
sat(List<State>) - Method in class eu.iv4xr.framework.extensions.ltl.SequencePredicate
Check is the given sequence of states (representing some execution) satisfies this LTL formula.
SAT - Enum constant in enum eu.iv4xr.framework.extensions.ltl.SATVerdict
 
SATFOUND - Enum constant in enum eu.iv4xr.framework.extensions.ltl.BoundedLTL.BLTLstate
 
SATVerdict - Enum in eu.iv4xr.framework.extensions.ltl
 
save(String) - Method in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GameWorldModel
Save this model as a JSON-object to a file.
save(String, String) - Method in class eu.iv4xr.framework.mainConcepts.TestDataCollector
Save the data collected to files.
saveTestAgentScalarsTraceAsCSV(String, String) - Method in class eu.iv4xr.framework.mainConcepts.TestDataCollector
Export the scalar-trace of an agent to a CSV-file.
saveTheory(String) - Method in class nl.uu.cs.aplib.agents.PrologReasoner
Save the current set of facts and rules to a file, which can be re-loaded later.
scalarInstrumenter - Variable in class eu.iv4xr.framework.mainConcepts.TestAgent
If defined, this function can be used to evaluate an agent's state, to produce a list of name-value properties of the state.
ScalarTracingEvent(Pair<String, Number>...) - Constructor for class eu.iv4xr.framework.mainConcepts.ObservationEvent.ScalarTracingEvent
 
scaledSpriteWidtgh - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.DungeonApp
The displayed size of each sprite.
scanner - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon
 
Scroll(int, int, String) - Constructor for class nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.Scroll
 
SCROLL - Enum constant in enum nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.EntityType
 
SE - Enum constant in enum eu.iv4xr.framework.spatial.QuadTreeSections
 
searchMode - Variable in class eu.iv4xr.framework.extensions.pathfinding.AStar
 
seedMaze(Maze) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon
Seed a maze with items, monsters, and shrine.
seen - Variable in class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph
 
seenVertices - Variable in class eu.iv4xr.framework.extensions.pathfinding.SurfaceNavGraph
If seenVertices.get(i) is true it means that vertex i is considered to have been "seen", for the purpose of memory-based navigation.
send(String, int, Message.MsgCastType, String, String, Object...) - Method in class nl.uu.cs.aplib.multiAgentSupport.Messenger
 
send(Message) - Method in class nl.uu.cs.aplib.multiAgentSupport.ComNode
This is invoked by an agent to send a message to other agent(s), depending on the message type.
send(Message) - Method in class nl.uu.cs.aplib.multiAgentSupport.Messenger
Send out this message to the ComNode associated to this Messenger.
sendCommand(String, String, String, Object) - Method in class nl.uu.cs.aplib.mainConcepts.Environment
A simplified version of the other sendCommand where the expectedTypeOfResult parameter is left unspecified (set to null).
sendCommand(String, String, String, Object, Class) - Method in class nl.uu.cs.aplib.environments.JsonEnvironment
This method will invoke the underlying sendCommand_, that in turn is expected to send the command as a string in the Json format to the real environment.
sendCommand(String, String, String, Object, Class) - Method in class nl.uu.cs.aplib.mainConcepts.Environment
Send the specified command to the environment.
sendCommand_(Environment.EnvOperation) - Method in class eu.iv4xr.framework.environments.W3DEnvironment
You need to implement this method.
sendCommand_(Environment.EnvOperation) - Method in class nl.uu.cs.aplib.environments.ConsoleEnvironment
 
sendCommand_(Environment.EnvOperation) - Method in class nl.uu.cs.aplib.environments.JsonEnvironment
Override this method.
sendCommand_(Environment.EnvOperation) - Method in class nl.uu.cs.aplib.environments.NullEnvironment
 
sendCommand_(Environment.EnvOperation) - Method in class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGameEnv
 
sendCommand_(Environment.EnvOperation) - Method in class nl.uu.cs.aplib.mainConcepts.Environment
Override this method to implement an actual Environment.
sendMsgToThisAgent(Message) - Method in class nl.uu.cs.aplib.agents.AutonomousBasicAgent
This will send a message to this agent.
SEQ - Enum constant in enum nl.uu.cs.aplib.mainConcepts.GoalStructure.GoalsCombinator
 
SEQ - Enum constant in enum nl.uu.cs.aplib.mainConcepts.Tactic.TacticType
 
SEQ(GoalStructure...) - Static method in class nl.uu.cs.aplib.AplibEDSL
Create a SEQ type GoalStructure.
SEQ(Tactic...) - Static method in class nl.uu.cs.aplib.AplibEDSL
To construct a SEQ Tactic.
SequencePredicate<State> - Class in eu.iv4xr.framework.extensions.ltl
An abstract class representing a predicate over finite sequences, defining a minimum interface needed to evaluate such a predicate on a given sequence.
SequencePredicate() - Constructor for class eu.iv4xr.framework.extensions.ltl.SequencePredicate
 
set4Move - Static variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies
set4Move(X,Y) : cross-player has a triple, and placing a cross at (X,Y) would extend this triple to a quadruple (one away from winning).
setAsCurrentLocation(GWObject) - Method in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWState
 
setBlockingState(Sparse2DTiledSurface_NavGraph.Tile, boolean) - Method in class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph
 
setBlockingState(LineIntersectable, boolean) - Method in class eu.iv4xr.framework.extensions.pathfinding.SimpleNavGraph
 
setBlockingState(Pair<Integer, NodeId>, boolean) - Method in class eu.iv4xr.framework.extensions.pathfinding.LayeredAreasNavigation
 
setBlockingState(Obstacle, boolean) - Method in interface eu.iv4xr.framework.extensions.pathfinding.CanDealWithDynamicObstacle
Set the the state of this obstacle to blocking or unblocking.
setEnvironment(W3DEnvironment, float) - Method in class eu.iv4xr.framework.environments.W3DAgentState
Link the given environment to this State.
setEnvironment(Environment) - Method in class eu.iv4xr.framework.environments.W3DAgentState
Link an environment to this state.
setEnvironment(Environment) - Method in class eu.iv4xr.framework.mainConcepts.Iv4xrAgentState
Link the given environment to this State.
setEnvironment(Environment) - Method in class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame_withAgent.MyState
Attach the FiveGame environment to this state, and configure the prolog engine to contain the AI for playing the game.
setEnvironment(Environment) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.MyAgentState
 
setEnvironment(Environment) - Method in class nl.uu.cs.aplib.mainConcepts.SimpleState
Every instance of this class requires an instance to the Environment that is used by the agent that owns this state.
setGoal(double, GoalStructure) - Method in class eu.iv4xr.framework.mainConcepts.TestAgent
Set a goal for this agent, with the specified initial budget.
setGoal(double, GoalStructure) - Method in class nl.uu.cs.aplib.mainConcepts.BasicAgent
Set a goal for this agent, with the specified initial budget.
setGoal(GoalStructure) - Method in class eu.iv4xr.framework.mainConcepts.TestAgent
Set a goal for this agent.
setGoal(GoalStructure) - Method in class nl.uu.cs.aplib.agents.AutonomousBasicAgent
 
setGoal(GoalStructure) - Method in class nl.uu.cs.aplib.mainConcepts.BasicAgent
Set a goal for this agent.
setLoggingLevel(Level) - Static method in class nl.uu.cs.aplib.Logging
To set the the logging level of aplib logger.
setPathFinder(Pathfinder<Integer>) - Method in class eu.iv4xr.framework.extensions.pathfinding.SurfaceNavGraph
 
setPerfectMemoryPathfinding(Boolean) - Method in class eu.iv4xr.framework.extensions.pathfinding.LayeredAreasNavigation
 
setPerfectMemoryPathfinding(Boolean) - Method in class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph
When true then the pathfinder will consider all nodes in the graph to have been seen.
setPerfectMemoryPathfinding(Boolean) - Method in class eu.iv4xr.framework.extensions.pathfinding.SurfaceNavGraph
When true then the pathfinder will consider all nodes in the graph to have been seen.
setPerfectMemoryPathfinding(Boolean) - Method in interface eu.iv4xr.framework.extensions.pathfinding.XPathfinder
When true then the pathfinder will consider all nodes in the graph to have been seen.
setPortal(int, int, boolean) - Method in class eu.iv4xr.framework.extensions.pathfinding.LayeredAreasNavigation
Set the portal between area a1 and a2 to open or close.
setSamplingInterval(long) - Method in class nl.uu.cs.aplib.agents.AutonomousBasicAgent
Set the agent sampling interval in ms.
setStatusToFail(String) - Method in class nl.uu.cs.aplib.mainConcepts.GoalStructure.PrimitiveGoal
 
setStatusToFail(String) - Method in class nl.uu.cs.aplib.mainConcepts.GoalStructure
Set the status of this goal to fail, and propagating this accordingly to its ancestors.
setStatusToFailBecauseBudgetExhausted() - Method in class nl.uu.cs.aplib.mainConcepts.GoalStructure
 
setStatusToSuccess(String) - Method in class nl.uu.cs.aplib.mainConcepts.GoalStructure.PrimitiveGoal
 
setStatusToSuccess(String) - Method in class nl.uu.cs.aplib.mainConcepts.GoalStructure
Set the status of this goal to success, and propagating this accordingly to its ancestors.
setTestDataCollector(TestDataCollector) - Method in class eu.iv4xr.framework.mainConcepts.TestAgent
 
setTestDesc(String) - Method in class eu.iv4xr.framework.mainConcepts.TestAgent
To add some textual description of the test carried out by this test agent.
setToFail() - Method in class nl.uu.cs.aplib.mainConcepts.ProgressStatus
Set the status represented by this instance to FAILED.
setToFail(String) - Method in class nl.uu.cs.aplib.mainConcepts.ProgressStatus
Set the status represented by this instance to FAILED, and set its info to the given string.
setTopGoalToFail(String) - Method in class nl.uu.cs.aplib.mainConcepts.BasicAgent
Set topgoal to fail, with the given reason.
setTopGoalToSuccess(String) - Method in class nl.uu.cs.aplib.mainConcepts.BasicAgent
For marking the agent's topgoal as succees, and adding the given info string to it.
setToSuccess() - Method in class nl.uu.cs.aplib.mainConcepts.ProgressStatus
Set the status represented by this instance to SUCCESS, with no info string (it is set to null).
setToSuccess(String) - Method in class nl.uu.cs.aplib.mainConcepts.ProgressStatus
Set the status represented by this instance to SUCCESS, and set its info to the given string.
setWorldNavigation(Navigatable<Void>) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.MyAgentState
We are not going to keep an Nav-graph, but will instead keep a layered-nav-graphs.
setWorldNavigation(Navigatable<NavgraphNode>) - Method in class eu.iv4xr.framework.mainConcepts.Iv4xrAgentState
 
shadowg_ - Variable in class nl.uu.cs.aplib.agents.AutonomousBasicAgent
 
showConsoleIO - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon
 
showGameStatus() - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon
 
showGoalStructureStatus() - Method in class nl.uu.cs.aplib.mainConcepts.GoalStructure
Format a summary of the state of this GoalStructure to a readable string.
showGoalStructureStatusWorker(int) - Method in class nl.uu.cs.aplib.mainConcepts.GoalStructure
 
showState() - Method in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWState
 
showState() - Method in interface eu.iv4xr.framework.extensions.ltl.IState
Produce a string representation of the state for the purpose of printing it e.g.
showStatistics() - Method in class nl.uu.cs.aplib.mainConcepts.Tactic
Write some basic statistics of this Tactic (e.g.
showTheory() - Method in class nl.uu.cs.aplib.agents.PrologReasoner
 
Shrine(int, int) - Constructor for class nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.Shrine
 
SHRINE - Enum constant in enum nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.EntityType
 
ShrineOfImmortals - Enum constant in enum nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.ShrineType
 
shrineType - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.Shrine
Cleansing an immortal shrine wins the game.
SIMPLE - Enum constant in enum nl.uu.cs.aplib.exampleUsages.miniDungeon.Maze.MazeShape
 
simpleAddBefore(GoalStructure) - Method in class nl.uu.cs.aplib.mainConcepts.BasicAgent
Insert the goal-structure G as a sibling before the current goal.
SimpleNavGraph - Class in eu.iv4xr.framework.extensions.pathfinding
This class is provides an implementation of a navigation graph (an instance of Navigatable) that facilitates pathfinding over a 3D-surface defined by a surface-mesh with obstacles.
SimpleNavGraph() - Constructor for class eu.iv4xr.framework.extensions.pathfinding.SimpleNavGraph
 
SimpleNavGraph(EdgeMap, ArrayList<Vec3>, ArrayList<Obstacle<LineIntersectable>>) - Constructor for class eu.iv4xr.framework.extensions.pathfinding.SimpleNavGraph
 
SimpleState - Class in nl.uu.cs.aplib.mainConcepts
This class is the root class for representing agents' states (an 'agent' is an instance of BasicAgent or its subclasses).
SimpleState() - Constructor for class nl.uu.cs.aplib.mainConcepts.SimpleState
 
SINGLECAST - Enum constant in enum nl.uu.cs.aplib.multiAgentSupport.Message.MsgCastType
 
size() - Method in class nl.uu.cs.aplib.multiAgentSupport.Messenger
 
sizeX - Variable in class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph
The x coordinates of the this tiled-surface starts from 0 until sizeX-1
sizeY - Variable in class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph
The y coordinates of the this tiled-surface starts from 0 until sizeY-1
smartEntityInCloseRange(TestAgent, String) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.GoalLib
A smarter version of entityInCloseRange(e) goal, that will also pick up a nearby potion along the way, if the bag is empty.
smartExploring(TestAgent, Pair<Integer, Sparse2DTiledSurface_NavGraph.Tile>, int) - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.testAgent.GoalLib
 
smeagol() - Method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon
 
Smeagol(int, int) - Constructor for class nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.Smeagol
 
SMEAGOL - Enum constant in enum nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.EntityType
 
SMEAGOLWIN - Enum constant in enum nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon.GameStatus
 
snd - Variable in class nl.uu.cs.aplib.utils.Pair
 
solver(BasicAgent, String, Predicate<WorldEntity>, Predicate<Iv4xrAgentState>, Sa1Solver.Policy, int) - Method in class eu.iv4xr.framework.goalsAndTactics.Sa1Solver
This tries to make the environment to move to a state where the entity tId satisfies the predicate phi as a goal.
soundOn - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.DungeonApp
 
sounds - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.DungeonApp
 
southEastNeighbor - Static variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies
southEastNeighbor(Ty,X1,Y1,X2,Y2) : (X2,Y2) is occupied by a piece of type Ty, and X1=X2-1 and Y1=Y2+1.
Sparse2DTiledSurface_NavGraph - Class in eu.iv4xr.framework.extensions.pathfinding
Representing a navigation graph over a 2D tiled-world.
Sparse2DTiledSurface_NavGraph() - Constructor for class eu.iv4xr.framework.extensions.pathfinding.Sparse2DTiledSurface_NavGraph
 
Sparse2DTiledSurface_NavGraph.Door - Class in eu.iv4xr.framework.extensions.pathfinding
 
Sparse2DTiledSurface_NavGraph.NonNavigableTile - Class in eu.iv4xr.framework.extensions.pathfinding
 
Sparse2DTiledSurface_NavGraph.Tile - Class in eu.iv4xr.framework.extensions.pathfinding
 
Sparse2DTiledSurface_NavGraph.Wall - Class in eu.iv4xr.framework.extensions.pathfinding
 
Sphere - Class in eu.iv4xr.framework.spatial
Sphere with line intersections.
Sphere(float, Vec3) - Constructor for class eu.iv4xr.framework.spatial.Sphere
 
sprites - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.DungeonApp
Image containing the sprites for drawing the game (pic of monsters, walls etc).
sq - Variable in class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame.Square_
 
sqtype(FiveGame.SQUARE) - Static method in class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies
 
Square_(FiveGame.SQUARE, int, int) - Constructor for class nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame.Square_
 
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.BoundedLTL
Invoke this first before start checking this predicate on a sequence; this will reset the state of this bounded LTL checker to its initial internal state.
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.And
 
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Next
 
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Not
 
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Or
 
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.LTL
Invoke this first before start checking this LTL formula on an execution; this will rest the internal state of this formula, making it ready to check a new sequence.
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.Until
 
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.LTL.WeakUntil
 
startChecking() - Method in class eu.iv4xr.framework.extensions.ltl.SequencePredicate
Invoke this first before start checking this predicate on a sequence.
STARTED - Enum constant in enum eu.iv4xr.framework.extensions.ltl.BoundedLTL.BLTLstate
 
startf - Variable in class eu.iv4xr.framework.extensions.ltl.BoundedLTL
 
startTrackingCoveragePoint(String) - Method in class eu.iv4xr.framework.mainConcepts.TestDataCollector.CoverageMap
 
startTrackingCoveragePoint(String) - Method in class eu.iv4xr.framework.mainConcepts.TestDataCollector
Add a coverage-point to the set of coverage-points whose coverage will be tracked.
state - Variable in class nl.uu.cs.aplib.agents.MiniMemory
 
state - Variable in class nl.uu.cs.aplib.mainConcepts.BasicAgent
 
state() - Method in class nl.uu.cs.aplib.mainConcepts.BasicAgent
Return the agent's state.
State - Class in nl.uu.cs.aplib.agents
An extension of SimpleState that also has a Messenger and possibility to attach a Prolog engine.
State() - Constructor for class nl.uu.cs.aplib.agents.State
 
stateIs(String) - Method in class nl.uu.cs.aplib.agents.MiniMemory
 
states - Variable in class eu.iv4xr.framework.extensions.ltl.Buchi
Contain all states-names, along to their mapping to integer indices as their assigned ids.
stats - Variable in class eu.iv4xr.framework.extensions.ltl.BasicModelChecker
Hold some basic statistics over the last model-checking run.
stats - Variable in class eu.iv4xr.framework.extensions.ltl.BuchiModelChecker
Hold some basic statistics over the last model-checking run.
status - Variable in class nl.uu.cs.aplib.exampleUsages.miniDungeon.MiniDungeon
 
status - Variable in class nl.uu.cs.aplib.mainConcepts.Goal
 
status - Variable in class nl.uu.cs.aplib.mainConcepts.GoalStructure
 
status - Variable in class nl.uu.cs.aplib.mainConcepts.ProgressStatus
 
stop() - Method in class nl.uu.cs.aplib.agents.AutonomousBasicAgent
If the agent is running autonomously, this command will cause the agent to stop its run.
STOP - Enum constant in enum nl.uu.cs.aplib.agents.AutonomousBasicAgent.Command
 
str_(String) - Method in class nl.uu.cs.aplib.agents.PrologReasoner.QueryResult
Extract the string-value of the given variable from this query-result.
Strategies - Class in nl.uu.cs.aplib.exampleUsages.fiveGame
Strategies for playing FiveGame.
Strategies() - Constructor for class nl.uu.cs.aplib.exampleUsages.fiveGame.Strategies
 
StressingMode - Variable in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GameWorldModel
 
stringval(Term) - Static method in class nl.uu.cs.aplib.agents.PrologReasoner
 
strTy - Variable in class nl.uu.cs.aplib.mainConcepts.Tactic
 
sub(Vec3, Vec3) - Static method in class eu.iv4xr.framework.spatial.Vec3
 
subgoals - Variable in class nl.uu.cs.aplib.mainConcepts.GoalStructure
 
subtactics - Variable in class nl.uu.cs.aplib.mainConcepts.Tactic
 
success() - Method in class nl.uu.cs.aplib.mainConcepts.ProgressStatus
True if the status represented by this instance is SUCCESS.
success() - Method in class nl.uu.cs.aplib.multiAgentSupport.Acknowledgement
True if this Acknowledgement is a SUCCESS.
SUCCESS - Enum constant in enum nl.uu.cs.aplib.mainConcepts.ProgressStatus.ProgressStatus_
 
SUCCESS - Enum constant in enum nl.uu.cs.aplib.multiAgentSupport.Acknowledgement.AckType
 
SUCCESS() - Static method in class nl.uu.cs.aplib.AplibEDSL
This goal will always succeeds.
SUCCESS(String) - Static method in class nl.uu.cs.aplib.AplibEDSL
This goal will always succeeds.
SunShrine - Enum constant in enum nl.uu.cs.aplib.exampleUsages.miniDungeon.Entity.ShrineType
 
SurfaceNavGraph - Class in eu.iv4xr.framework.extensions.pathfinding
A navigation-graph over a 3D-surface.
SurfaceNavGraph(Mesh, float) - Constructor for class eu.iv4xr.framework.extensions.pathfinding.SurfaceNavGraph
Create an intance of SurfaceNavGraph from a given mesh.
SurfaceNavGraph.VertexType - Enum in eu.iv4xr.framework.extensions.pathfinding
A vertex is a BORDER-vertex if it lies in a border-edge.
SW - Enum constant in enum eu.iv4xr.framework.spatial.QuadTreeSections
 
SWITCH - Static variable in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.LabRecruitsModel
 
syntheticEventsProducer - Variable in class eu.iv4xr.framework.mainConcepts.TestAgent
 
SyntheticEventsProducer - Class in eu.iv4xr.framework.mainConcepts
Agents (instances of BasicAgent or its subclasses) are mainly state-based.
SyntheticEventsProducer() - Constructor for class eu.iv4xr.framework.mainConcepts.SyntheticEventsProducer
 
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