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

B

b - Variable in class eu.iv4xr.framework.spatial.Line

Point B

B - Variable in class eu.iv4xr.framework.spatial.Triangle

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

Cause this Buchi to backtrack to the previous state in the current execution.

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

backTrackToPreviousState() - Method in interface eu.iv4xr.framework.extensions.ltl.ITargetModel

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

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

This is the root class of all agents in aplib.

BasicAgent() - Constructor for class nl.uu.cs.aplib.mainConcepts.BasicAgent

Create a blank agent.

BasicAgent(String, String) - Constructor for class nl.uu.cs.aplib.mainConcepts.BasicAgent

Create a blank agent with the given id and role.

BasicModelChecker - Class in eu.iv4xr.framework.extensions.ltl

Provide an explicit-state bounded and lazy model checker that can be used to check if a model contains a reachable state (within a given maximum depth) satisfying some predicate q.

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

Create an instance of a model checker.

BasicModelChecker.MCStatistics - Class in eu.iv4xr.framework.extensions.ltl

BasicModelChecker.Path<State> - Class in eu.iv4xr.framework.extensions.ltl

Representing a witness execution.

BasicModelChecker.TestSuite<CoverageItem> - Class in eu.iv4xr.framework.extensions.ltl

Representing a test suite produced by BasicModelChecker.testSuite(List, Function, int, boolean).

between(float, float, float) - Method in class eu.iv4xr.framework.spatial.Box

Check if x is between the given lower and upperbound, with additional epsilon as margin.

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

BLOCKED - Enum constant in enum nl.uu.cs.aplib.exampleUsages.fiveGame.FiveGame.SQUARE

blockers - Variable in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GameWorldModel

blockers - Variable in class eu.iv4xr.framework.extensions.ltl.gameworldmodel.GameWorldModel.GameWorldModelBase

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

blockMove(X,Y) : the opponent has a free triple-circles, and that placing a cross in (X,Y) would block one side of this triple.

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

bmax - Variable in class nl.uu.cs.aplib.mainConcepts.GoalStructure

Maximum limit on the budget that can be allocated to this goal structure.

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

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

body - Variable in class nl.uu.cs.aplib.agents.PrologReasoner.Rule

BORDER - Enum constant in enum eu.iv4xr.framework.extensions.pathfinding.SurfaceNavGraph.VertexType

BoundedLTL - Class in eu.iv4xr.framework.extensions.ltl

Bounded LTL is a variation of LTL.

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

BoundedLTL.BLTLstate - Enum in eu.iv4xr.framework.extensions.ltl

Internal state for tracking the formula-state.

BoundedLTL.WitnessTrace - Class in eu.iv4xr.framework.extensions.ltl

Represent a 'trace' of an execution.

Box - Class in eu.iv4xr.framework.spatial

Representing a 3D rectangular shape.

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

branches - Variable in class eu.iv4xr.framework.spatial.QuadTreeBranch

BROADCAST - Enum constant in enum nl.uu.cs.aplib.multiAgentSupport.Message.MsgCastType

Buchi - Class in eu.iv4xr.framework.extensions.ltl

Represent a Buchi automaton.

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

Buchi.BuchiTransition - Class in eu.iv4xr.framework.extensions.ltl

Representing a transition in a Buchi automaton.

BuchiModelChecker - Class in eu.iv4xr.framework.extensions.ltl

Provide an explicit-state bounded and lazy model checker that can be used to check if a model M has an execution, of up to some maximum length, that would satisfy a certain property.

BuchiModelChecker(ITargetModel) - Constructor for class eu.iv4xr.framework.extensions.ltl.BuchiModelChecker

BuchiTransition() - Constructor for class eu.iv4xr.framework.extensions.ltl.Buchi.BuchiTransition

budget - Variable in class nl.uu.cs.aplib.mainConcepts.GoalStructure

The budget that remains for this goal structure.

budget(double) - Method in class eu.iv4xr.framework.mainConcepts.TestAgent

Set initial computation budget for this agent.

budget(double) - Method in class nl.uu.cs.aplib.mainConcepts.BasicAgent

Set initial computation budget for this agent.

buildSimpleMaze(int, Random, int, int) - Static method in class nl.uu.cs.aplib.exampleUsages.miniDungeon.Maze

Construct an NxN maze with a single zig-zag corridor.

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