Index (Sabre Narrative Planner 0.8.0 API)

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

A

Action - Class in edu.uky.cs.nil.sabre: An action is an event that a planner can choose to take in service of a goal.
Action(Signature, Expression, Expression, ImmutableSet, Mapping, String) - Constructor for class edu.uky.cs.nil.sabre.Action: Constructs a new action.
ACTION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an action
ACTION_CONSENTING - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of an action's consenting characters
ACTION_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of an action
ACTION_DEFINITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning an action definition
ACTION_ELEMENT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of some part of an action
ACTION_OBSERVING - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of an action's observing characters
ActionNode - Class in edu.uky.cs.nil.sabre.hg: An event node that represents an action.
ActionNode(HeuristicGraph, Action) - Constructor for class edu.uky.cs.nil.sabre.hg.ActionNode: Constructs a new action node that belongs to a given graph and represents a given event.
actions - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: All the compiled actions defined in this problem
actions - Variable in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: A mapping of actions to compiled actions
actions - Variable in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Nodes representing all actions in the graph
actions - Variable in class edu.uky.cs.nil.sabre.Problem: All the actions defined in this problem (a subset of events)
actions - Variable in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: An event tree of actions for efficiently detecting which actions apply in a state
ActionShuffler - Class in edu.uky.cs.nil.sabre.comp: Creates a copy of a compiled problem where the actions have been randomly shuffled to be in a different order.
add(A) - Method in class edu.uky.cs.nil.sabre.logic.Clause: Adds an atom to this clause and simplifies the clause.
add(Pattern) - Method in class edu.uky.cs.nil.sabre.io.Selection: Add a new pattern to the end of the list of patterns this selection will try to match.
add(Clause) - Method in class edu.uky.cs.nil.sabre.logic.Clause: Adds all atoms from this clause and the given clause together to form a new clause.
add(Number) - Method in class edu.uky.cs.nil.sabre.Number: Returns a new number which is the sum of this number and the given second number.
add(Object) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Defines a new object, using the object's toString() method for its name.
add(String, Object) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Defines a new object with a given name.
add(T) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray: Returns a new immutable array with the given object added to the end.
add(T) - Method in class edu.uky.cs.nil.sabre.util.ImmutableList: Returns a new immutable list with the given object added to the beginning.
add(T) - Method in class edu.uky.cs.nil.sabre.util.ImmutableSet: Returns a new immutable set with the given object added to the end, unless the set already contains this object, in which case this set is returned.
ADD - Static variable in class edu.uky.cs.nil.sabre.logic.Arithmetic: An arithmetic operator for adding the left and right sides of an arithmetic expression.
ADD_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the addition operator
addEntityType(String, String) - Method in class edu.uky.cs.nil.sabre.UniverseBuilder: Defines an entity to be of the given type.
ADDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an addition arithmetic expression
ADDITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the addition operator
addRule(NonTerminal, Pattern) - Method in class edu.uky.cs.nil.sabre.io.Parser: Adds an additional pattern to the end of the list of patterns that this parser will try to match tokens against when parsing text as the given non-terminal symbol.
addToInitialState(Expression) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Adds an expression to the initial state of the problem.
addTypeRelationship(String, String) - Method in class edu.uky.cs.nil.sabre.UniverseBuilder: Makes one type a subtype of the other, creating the types if they do not already exist.
AdmissibleMaxGraphHeuristic(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.prog.GraphHeuristic.AdmissibleMaxGraphHeuristic: Constructs a new admissible max graph heuristic and its max graph.
AdmissibleMaxGraphHeuristic(MaxGraph) - Constructor for class edu.uky.cs.nil.sabre.prog.GraphHeuristic.AdmissibleMaxGraphHeuristic: Constructs a new admissible max graph heuristic from a given max graph.
append(A) - Method in class edu.uky.cs.nil.sabre.TailPlan: Returns a new plan with the given action added on to the end.
apply(Object) - Method in class edu.uky.cs.nil.sabre.comp.Reachable
apply(Object) - Method in class edu.uky.cs.nil.sabre.logic.HashSubstitution
apply(Object) - Method in class edu.uky.cs.nil.sabre.Universe
apply(Function) - Method in class edu.uky.cs.nil.sabre.Action
apply(Function) - Method in class edu.uky.cs.nil.sabre.Character
apply(Function) - Method in class edu.uky.cs.nil.sabre.comp.CompiledFluent
apply(Function) - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
apply(Function) - Method in class edu.uky.cs.nil.sabre.Entity
apply(Function) - Method in interface edu.uky.cs.nil.sabre.Event
apply(Function) - Method in class edu.uky.cs.nil.sabre.Fluent
apply(Function) - Method in class edu.uky.cs.nil.sabre.InitialState
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Assignment
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Comparison
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Conditional
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Effect
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
apply(Function) - Method in interface edu.uky.cs.nil.sabre.logic.Expression
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.False
apply(Function) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Applies a given function to every part of this logical formula and then creates a new logical formula of this same type using the results returned from the function.
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Negation
apply(Function) - Method in interface edu.uky.cs.nil.sabre.logic.Parameter
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Quantified
apply(Function) - Method in interface edu.uky.cs.nil.sabre.logic.Simplifiable
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.True
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Unknown
apply(Function) - Method in interface edu.uky.cs.nil.sabre.logic.Value
apply(Function) - Method in class edu.uky.cs.nil.sabre.logic.Variable
apply(Function) - Method in interface edu.uky.cs.nil.sabre.Mapping
apply(Function) - Method in class edu.uky.cs.nil.sabre.Mapping.Function
apply(Function) - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
apply(Function) - Method in class edu.uky.cs.nil.sabre.Number
apply(Function) - Method in class edu.uky.cs.nil.sabre.Signature
apply(Function) - Method in class edu.uky.cs.nil.sabre.Trigger
apply(Function) - Method in class edu.uky.cs.nil.sabre.Type
apply(Function) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray: Returns an immutable array where a given function has been applied to every element in the array.
apply(Function) - Method in class edu.uky.cs.nil.sabre.util.ImmutableSet: Returns an immutable set where a given function has been applied to every element in the set and duplicates removed.
argument - Variable in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: A numeric expression which will be used to create the series of numeric expressions
argument - Variable in class edu.uky.cs.nil.sabre.logic.Epistemic: The logical expression about which the character holds a belief
argument - Variable in class edu.uky.cs.nil.sabre.logic.Negation: The argument whose value this negation will be the opposite of
argument - Variable in class edu.uky.cs.nil.sabre.logic.Quantified: A proposition in which the quantified variable appears and which must hold with the frequency specified by the quantifier
argument - Variable in class edu.uky.cs.nil.sabre.logic.TypeConstraint: A logical expression which should be of a certain type
argument - Variable in class edu.uky.cs.nil.sabre.Mapping.Function: The expression
arguments - Variable in class edu.uky.cs.nil.sabre.logic.Conjunction: The conjuncts which must all be true for this conjunction to be true
arguments - Variable in class edu.uky.cs.nil.sabre.logic.Disjunction: The disjuncts which must contain at least one true expression for this disjunction to be true
arguments - Variable in class edu.uky.cs.nil.sabre.Signature: A list of zero to many arguments
Arithmetic - Class in edu.uky.cs.nil.sabre.logic: An arithmetic expression is a numeric expression whose value if the results of applying an arithmetic operation to two numeric values.
Arithmetic(Arithmetic.Operator, Expression, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Arithmetic: Constructs a new arithmetic expression.
ARITHMETIC - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an arithmetic expression
ARITHMETIC_EXPANSION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an arithmetic expansion
ARITHMETIC_EXPANSION_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an arithmetic expansion operator
ARITHMETIC_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an arithmetic operator
Arithmetic.Operator - Class in edu.uky.cs.nil.sabre.logic: An arithmetic operator is a singleton object that specifies how to combine two numeric input values into a numeric output value.
ArithmeticExpansion - Class in edu.uky.cs.nil.sabre.logic: An arithmetic expansion is a numeric expression which represents iteratively applying an arithmetic operator to a series of numeric expressions defined by every possible value that can be substituted for a variable.
ArithmeticExpansion(ArithmeticExpansion.Operator, Variable, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: Constructs a new arithmetic expansion.
ArithmeticExpansion.Operator - Class in edu.uky.cs.nil.sabre.logic: An arithmetic expansion operator is a singleton object that specifies how an arithmetic operator should be applied to a series of numeric expressions.
ArithmeticNode - Class in edu.uky.cs.nil.sabre.hg: A cost set node representing an arithmetic expression, which has an arithmetic operator and two numeric expressions on the left and right sides.
ArithmeticNode(HeuristicGraph, Arithmetic) - Constructor for class edu.uky.cs.nil.sabre.hg.ArithmeticNode: Constructs a new arithmetic node that belongs to a given graph and represents a given arithmetic expression.
ArrayIterable<T> - Class in edu.uky.cs.nil.sabre.util: An iterable wrapper for an array of objects.
ArrayIterable(T...) - Constructor for class edu.uky.cs.nil.sabre.util.ArrayIterable: Constructs a new array iterable.
ArrayIterator<T> - Class in edu.uky.cs.nil.sabre.util: An iterator which iterates through each element in an array.
ArrayIterator(T...) - Constructor for class edu.uky.cs.nil.sabre.util.ArrayIterator: Constructs a new array iterator that will iterate over all elements in an array.
ArrayIterator(T[], int, int) - Constructor for class edu.uky.cs.nil.sabre.util.ArrayIterator: Constructs a new array iterator that will iterate over a subset of elements in an array.
ArrayRange - Class in edu.uky.cs.nil.sabre.hg: An implementation of a range that uses an array to store its values and their costs.
ArrayRange() - Constructor for class edu.uky.cs.nil.sabre.hg.ArrayRange: Constructs a new array range.
Assignment - Class in edu.uky.cs.nil.sabre.logic: An assignment specifies that the fluent on its left side should now have the value of the logical expression on its right side.
Assignment(Fluent, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Assignment: Constructs a new assignment with the given fluent and value expression.
ASSIGNMENT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an assignment
ASSIGNMENT_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for assignment
Atom - Interface in edu.uky.cs.nil.sabre.logic: An atom is a Proposition which cannot be further simplified (meaning Atom.simplify() always returns this atom itself).
ATOM - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an atomic proposition
AUTHOR_TEMPORAL_LIMIT - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the planner's author temporal limit setting
AUTHOR_TEMPORAL_LIMIT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the author temporal limit
AUTHOR_UTILITY_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of the author's utility expression
AUTHORS - Static variable in class edu.uky.cs.nil.sabre.Settings: The list of primary authors
authorTemporalLimit - Variable in class edu.uky.cs.nil.sabre.search.Search: The maximum number of actions a solution plan produced by this search may use to improve the author's utility.

B

Beliefs - Class in edu.uky.cs.nil.sabre: A wrapper around any state which represents an character's beliefs in that state.
Beliefs(Character, State) - Constructor for class edu.uky.cs.nil.sabre.Beliefs: Constructs a new set of beliefs.
BEST_FIRST - Enum constant in enum class edu.uky.cs.nil.sabre.prog.ProgressionPlanner.Method: A* search that prioritizes nodes that minimize the sum of their cost and heuristic
BEST_FIRST_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for best-first search
BigArrayLong - Class in edu.uky.cs.nil.sabre.util: An object for managing a large table of Java long values, similar to an array, but with larger capacity and able to expand dynamically.
BigArrayLong() - Constructor for class edu.uky.cs.nil.sabre.util.BigArrayLong: Constructs a table of long values using the default chunk size and an unlimited memory budget.
BigArrayLong(long) - Constructor for class edu.uky.cs.nil.sabre.util.BigArrayLong: Constructs a table of long values with a given chunk size and an unlimited memory budget.
BigArrayLong(long, MemoryBudget) - Constructor for class edu.uky.cs.nil.sabre.util.BigArrayLong: Constructs a table of long values with a given chunk size and limited by a given memory budget.
BigArrayLong(MemoryBudget) - Constructor for class edu.uky.cs.nil.sabre.util.BigArrayLong: Constructs a table of long values with the default chunk size using the provided memory budget.
BOOLEAN_EXPRESSION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a Boolean logical expression
BOOLEAN_PROPOSITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical proposition that uses Boolean operators
BOOLEAN_TYPE_COMMENT - Static variable in class edu.uky.cs.nil.sabre.Settings: The comment associated with the Boolean type by default
BOOLEAN_TYPE_ID - Static variable in class edu.uky.cs.nil.sabre.Settings: The ID number and index of the Boolean type
BOOLEAN_TYPE_NAME - Static variable in class edu.uky.cs.nil.sabre.Settings: The name of the Boolean type which is pre-defined in all problems
BooleanEventTree<E> - Class in edu.uky.cs.nil.sabre.etree: A branching event tree whose expression is of type boolean and will have three possible branches: one where the expression is false, one where the expression is true, and the irrelevant branch.
BooleanEventTree(ImmutableSet, Expression, EventTree, EventTree, EventTree) - Constructor for class edu.uky.cs.nil.sabre.etree.BooleanEventTree: Constructs a new Boolean event tree.
BRANCH_INDENT_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword used to indent branches in a solution
branches - Variable in class edu.uky.cs.nil.sabre.etree.EntityEventTree: For each possible value of the fluent, this map contains a branch with the events whose preconditions require the fluent to have that value
branches - Variable in class edu.uky.cs.nil.sabre.logic.Conditional: The expressions which will be evaluated if their corresponding conditions evaluate to true
BranchingEventTree<E> - Class in edu.uky.cs.nil.sabre.etree: For each possible value that the tree's expression can have, a branching event tree provides a branch containing the events whose preconditions require the expression to have that value, as well as an irrelevant branch which contains the events that do not use the expression in their preconditions.
BranchingEventTree(ImmutableSet, Expression, EventTree) - Constructor for class edu.uky.cs.nil.sabre.etree.BranchingEventTree: Constructs a new branching event tree.
budget - Variable in class edu.uky.cs.nil.sabre.util.BigArrayLong: Each newly allocated chunk reduces this memory budget
BUFFER - Enum constant in enum class edu.uky.cs.nil.sabre.io.Tokenizer.Instruction: Read a new character from the input stream and add it to the end of the buffer
build(EventTreeStatus) - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Constructs the event tree and all its branches.
build(Parser, ParseTree, Definitions) - Method in interface edu.uky.cs.nil.sabre.io.Builder: Convert a parse tree into an object.
build(Parser, ParseTree, Definitions) - Method in class edu.uky.cs.nil.sabre.io.ConstantBuilder
build(Parser, ParseTree, Definitions) - Method in class edu.uky.cs.nil.sabre.io.DefinedObjectBuilder
build(ParseTree) - Method in class edu.uky.cs.nil.sabre.io.Parser: Builds an object of type Object using the parser's permanently defined objects.
build(ParseTree, Definitions) - Method in class edu.uky.cs.nil.sabre.io.Parser: Builds an object of type Object using a given set of defined objects.
build(ParseTree, Class) - Method in class edu.uky.cs.nil.sabre.io.Parser: Builds an object of a given type using the parser's permanently defined objects.
build(ParseTree, Class, Definitions) - Method in class edu.uky.cs.nil.sabre.io.Parser: Converts a parse tree into an object of a given type using the builder defined for the parse tree's pattern (which should be a symbol).
build(Worker.Status) - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Constructs the event tree and all its branches.
buildBooleanEventTree(Expression, EventTreeStatus) - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Builds a tree which branches based an expression of type boolean.
buildEntityEventTree(Fluent, EventTreeStatus) - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Builds a tree which branches based on a fluent of type entity.
Builder - Interface in edu.uky.cs.nil.sabre.io: A builder converts a parse tree into an object.
buildTree(Worker.Status) - Method in class edu.uky.cs.nil.sabre.etree.EventSet: Returns the event tree built from this set of events, building it if it did not already exist.

C

calculate(Value, Value) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic.Operator: Returns the result of applying this operator to two input values.
calculate(Number, Number) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic.Operator: This method is called from Arithmetic.Operator.calculate(Value, Value) when both values are numbers and returns the result of applying this operator to two numbers.
cannotAssign(Fluent, Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a logical expression would assign a value to a fluent but the fluent's type does not allow it to have that value.
cannotConvertToEffect(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when converting a logical expression to an effect which cannot be converted to an effect.
cannotConvertToPrecondition(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when converting a logical expression to a precondition which cannot be converted to a precondition.
cannotConvertToValued(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when converting a logical expression to a value which cannot be converted to a value.
cannotImpose(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when an expression cannot be imposed on a state as an effect.
cannotIsolate(Expression, Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a query (usually a fluent) cannot be isolated by itself on the left side of a comparison by applying simple transformations to the comparison.
cannotNegate(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when negating a logical expression which cannot be negated.
cannotParseMemory(String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a memory budget fails to parse a string expressing an amount of memory.
canSubstitute(Iterable, Iterable) - Static method in interface edu.uky.cs.nil.sabre.logic.Substitution: Checks whether a series of proposed substitutions is allowed in an empty substitution.
canSubstitute(Iterable, Iterable, Substitution) - Static method in interface edu.uky.cs.nil.sabre.logic.Substitution: Checks whether a series of proposed substitutions is allowed given an existing substitution.
canSubstitute(Object[], Object[]) - Static method in interface edu.uky.cs.nil.sabre.logic.Substitution: Checks whether a series of proposed substitutions is allowed in an empty substitution.
canSubstitute(Object[], Object[], Substitution) - Static method in interface edu.uky.cs.nil.sabre.logic.Substitution: Checks whether a series of proposed substitutions is allowed given an existing substitution.
canSubstitute(Object, Object) - Static method in interface edu.uky.cs.nil.sabre.logic.Substitution: Checks whether a proposed substitution is allowed in an empty substitution.
canSubstitute(Object, Object, Substitution) - Static method in interface edu.uky.cs.nil.sabre.logic.Substitution: Checks whether a replacement object can be substituted for some original object in a given substitution.
capacity() - Method in class edu.uky.cs.nil.sabre.util.BigArrayLong: Returns the number of long values that can currently be stored in this table.
cast(Class) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray: Casts the type of elements returned by this array to a different type.
cast(Class) - Method in class edu.uky.cs.nil.sabre.util.ImmutableList: Casts the type of elements in this list to a different type.
cast(Class) - Method in class edu.uky.cs.nil.sabre.util.ImmutableSet
cast(Class) - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
cast(Class) - Method in class edu.uky.cs.nil.sabre.HeadPlan: Casts this plan to one which uses a different type of action.
cast(Class) - Method in interface edu.uky.cs.nil.sabre.Mapping: Casts the type of expression returned by this mapping to a different type.
cast(Class) - Method in class edu.uky.cs.nil.sabre.Mapping.Function
cast(Class) - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
cast(Class) - Method in interface edu.uky.cs.nil.sabre.Solution: Casts the type of action in this solution to a different type.
cast(Class) - Method in class edu.uky.cs.nil.sabre.SolutionPlan
cast(Class) - Method in class edu.uky.cs.nil.sabre.TailPlan: Casts this plan to one which uses a different type of action.
cast(Object, String, Class, String) - Method in class edu.uky.cs.nil.sabre.Session: Throws an exception if the given object cannot be cast to a desired class.
character - Variable in class edu.uky.cs.nil.sabre.Beliefs: The character who has beliefs
character - Variable in class edu.uky.cs.nil.sabre.hg.UtilityNode: The character whose utility this node represents, or null for the author's utility
character - Variable in class edu.uky.cs.nil.sabre.io.Token: The character number in the line where this token began
character - Variable in class edu.uky.cs.nil.sabre.logic.Epistemic: The character which holds the belief
character - Variable in class edu.uky.cs.nil.sabre.SolutionGoal: The character whose intends to increase their utility, or null to represent the author
Character - Class in edu.uky.cs.nil.sabre: A character is a special entity that represents an intelligent being with its own (possibly wrong) beliefs about the world state and its own utility function that it will attempt to maximize.
CHARACTER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a character
CHARACTER_EXPRESSION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical expression that evaluates to an character
CHARACTER_LIST - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a list of characters
CHARACTER_PARAMETER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a parameter of type character
CHARACTER_TEMPORAL_LIMIT - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the planner's character temporal limit setting
CHARACTER_TEMPORAL_LIMIT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the character temporal limit
CHARACTER_TYPE_COMMENT - Static variable in class edu.uky.cs.nil.sabre.Settings: The comment associated with the character type by default
CHARACTER_TYPE_ID - Static variable in class edu.uky.cs.nil.sabre.Settings: The ID number and index of the character type
CHARACTER_TYPE_NAME - Static variable in class edu.uky.cs.nil.sabre.Settings: The name of the character type which represents beings with beliefs and intentions and is pre-defined in all problems
CHARACTER_UTILITY_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a character's utility expression
characters - Variable in class edu.uky.cs.nil.sabre.comp.CompiledFluent: An ordered list of characters specifying whose beliefs this fluent represents
characters - Variable in class edu.uky.cs.nil.sabre.Fluent: An ordered list of characters or parameters of type character specifying whose beliefs this fluent represents
characters - Variable in class edu.uky.cs.nil.sabre.graph.StateGraph: The set of all characters whose beliefs are represented in this graph
characters - Variable in class edu.uky.cs.nil.sabre.Universe: The characters defined in this universe (index corresponds to Entity.id)
characterTemporalLimit - Variable in class edu.uky.cs.nil.sabre.search.Search: The maximum number of actions a solution plan produced by this search may use to justify why an character would take an action (the limit includes the action itself).
checkUnused() - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Throws an exception if any arguments remain that have not been marked as used.
child - Variable in class edu.uky.cs.nil.sabre.graph.Edge: A state node into which this edge goes
children - Variable in class edu.uky.cs.nil.sabre.io.ParseTree: The results of matching any smaller patterns that appear inside this tree's pattern
chooseExpression(EventTreeStatus) - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Chooses an expression on which to branch.
chunk - Variable in class edu.uky.cs.nil.sabre.util.BigArrayLong: Chunk size (in bytes)
clause - Variable in class edu.uky.cs.nil.sabre.InitialState: A logical expression representing this state
Clause<A> - Class in edu.uky.cs.nil.sabre.logic: A clause is a conjunction of atoms.
Clause(A) - Constructor for class edu.uky.cs.nil.sabre.logic.Clause: Constructs a clause from a single atom.
CLAUSE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a clause
ClauseNode - Class in edu.uky.cs.nil.sabre.hg: A node which represents a conjunctive clause, a conjunction of atomic preconditions that must all have a finite cost before the clause can have a finite cost.
ClauseNode(HeuristicGraph, Clause) - Constructor for class edu.uky.cs.nil.sabre.hg.ClauseNode: Constructs a new clause node that belongs to a given graph and represents a given conjunctive clause.
clauses - Variable in class edu.uky.cs.nil.sabre.hg.DisjunctionNode: The nodes representing the conjunctive clauses that make up the disjunction
clauses - Variable in class edu.uky.cs.nil.sabre.hg.PreconditionNode: A list of all clause nodes that this precondition node appears in
clip(ImmutableList, int) - Static method in interface edu.uky.cs.nil.sabre.io.Pattern: Returns the first tokens from a list as a new list containing exactly those tokens.
clone() - Method in class edu.uky.cs.nil.sabre.io.Definitions
collect(Class) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Returns a set of all objects that can be found in this logical formula (or any of the logical formulas which make it up) that are of a given type.
collect(Class, Iterable) - Static method in class edu.uky.cs.nil.sabre.Utilities: Iterates through all elements of an iterable and places into a set only those items which are of a given type.
collect(Class, Predicate) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Returns a set of all objects that can be found in this logical formula (or any of the logical formulas which make it up) that are of a given type and satisfy a given predicate.
collect(Predicate) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Returns a set of all objects that can be found in this logical formula (or any of the logical formulas which make it up) that satisfy a given predicate.
combine(Atom) - Method in interface edu.uky.cs.nil.sabre.logic.Atom: If a conjunction of this atom and a given atom can be simplified to a single atom, this method returns that atom; if not, null is returned.
combine(Atom) - Method in class edu.uky.cs.nil.sabre.logic.Effect
combine(Atom) - Method in class edu.uky.cs.nil.sabre.logic.Precondition
combine(Precondition, Precondition) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator
combine(Precondition, Precondition) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.Operator: If a Precondition (that is, an atomic comparison) using this operator can be combined with a second precondition, this method returns the resulting precondition, or null if they cannot be combined.
combine(Precondition, Precondition, Number, Number) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator: This convenience method behaves exactly like Comparison.Operator.simplify(Expression, Expression) and makes the same assumptions, except that it only handles cases where the right sides of both preconditions are numbers.
CommandLineArguments - Class in edu.uky.cs.nil.sabre.util: A collection of command line arguments passed to the library and utility methods for pasring them.
CommandLineArguments(String[]) - Constructor for class edu.uky.cs.nil.sabre.util.CommandLineArguments: Constructs a new collection of command line arguments.
comment - Variable in class edu.uky.cs.nil.sabre.Action: The comment associated with the action from the problem definition
comment - Variable in class edu.uky.cs.nil.sabre.Entity: The comment associated with this entity from the problem definition
comment - Variable in class edu.uky.cs.nil.sabre.Fluent: The comment associated with the fluent from the problem definition
comment - Variable in class edu.uky.cs.nil.sabre.io.Token: The comment associated with the token or null
comment - Variable in class edu.uky.cs.nil.sabre.Problem: The comment associated with this problem in its definition
comment - Variable in class edu.uky.cs.nil.sabre.Trigger: The comment associated with the trigger from the problem definition
comment - Variable in class edu.uky.cs.nil.sabre.Type: The comment associated with this type from the problem definition
compare(C1, C1) - Static method in class edu.uky.cs.nil.sabre.Utilities: Compares a pair of comparable objects.
compare(C1, C1, C2, C2) - Static method in class edu.uky.cs.nil.sabre.Utilities: Compares two pairs of comparable objects.
compare(C1, C1, C2, C2, C3, C3) - Static method in class edu.uky.cs.nil.sabre.Utilities: Compares three pairs of comparable objects.
compare(C1, C1, C2, C2, C3, C3, C4, C4) - Static method in class edu.uky.cs.nil.sabre.Utilities: Compares four pairs of comparable objects.
compare(SearchNode, SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch: Defines the priority in which search nodes should be visited.
compare(SearchNode, SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.GoalFirstSearch: Defines the priority in which search nodes should be visited.
compare(SearchNode, SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Defines the priority in which search nodes should be visited.
compare(ImmutableArray, ImmutableArray) - Static method in class edu.uky.cs.nil.sabre.Utilities: Compares two arrays of logical objects.
compare(Long, Long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
compare(N, N) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Compares two objects that represent nodes in this search space.
compareTo(CostNode) - Method in class edu.uky.cs.nil.sabre.hg.CostNode
compareTo(CostSet.Entry) - Method in class edu.uky.cs.nil.sabre.hg.CostSet.Entry
compareTo(Arithmetic.Operator) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic.Operator
compareTo(ArithmeticExpansion.Operator) - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion.Operator
compareTo(Comparison.Operator) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.Operator
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Action
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Entity
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Fluent
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.InitialState
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Assignment
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Comparison
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Conditional
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Effect
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.False
compareTo(Logical) - Method in interface edu.uky.cs.nil.sabre.logic.Logical
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Negation
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Quantified
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.True
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Unknown
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.logic.Variable
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Mapping.Function
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Number
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Signature
compareTo(Logical) - Method in interface edu.uky.cs.nil.sabre.Signed
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Trigger
compareTo(Logical) - Method in class edu.uky.cs.nil.sabre.Type
compareTo(Quantified.Quantifier) - Method in class edu.uky.cs.nil.sabre.logic.Quantified.Quantifier
Comparison - Class in edu.uky.cs.nil.sabre.logic: A comparison is a proposition which is true if and only if a specific relationship exists between a left expression and a right expression.
Comparison(Comparison.Operator, Expression, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Comparison: Constructs a new comparison with a given relationship, left side, and right side.
COMPARISON - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a comparison
COMPARISON_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal sybmol representing a comparison operator
Comparison.NumericOperator - Class in edu.uky.cs.nil.sabre.logic: An numeric operator is an operator which compares expressions of type number.
Comparison.Operator - Class in edu.uky.cs.nil.sabre.logic: An operator is a singleton object that represents one of the possible binary relationship between the left and right expressions of a comparison.
compile(CompiledProblem, Worker.Status) - Static method in class edu.uky.cs.nil.sabre.comp.ConsentExplicitizer: Adds preconditions to every action that require the action's consenting characters to believe the action is possible.
compile(CompiledProblem, Worker.Status) - Static method in class edu.uky.cs.nil.sabre.comp.FluentExplicitizer: Adds new compiled triggers (and possibly new compiled fluents) to a compiled problem to make it easier to detect when triggers should apply in a state with beliefs.
compile(CompiledProblem, Worker.Status) - Static method in class edu.uky.cs.nil.sabre.comp.Simplifier: Applies any triggers that are satisfied in the problem's initial state, replaces any propositions which are always true with true and any which are always false with false, and then removes any events which can never occur, creating a new, smaller, simpler problem.
compile(CompiledProblem, Random, Worker.Status) - Static method in class edu.uky.cs.nil.sabre.comp.ActionShuffler: Randomly shuffles the order of actions in a compiled problem.
compile(Mapping, Function) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Converts a mapping to a compiled mapping.
compile(Problem, Worker.Status) - Static method in class edu.uky.cs.nil.sabre.comp.Grounder: Replaces all templates in a problem, such as fluents and events, with ground instances of those elements, such as compiled fluents and compiled events.
compile(Problem, Worker.Status) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner
compile(Problem, Worker.Status) - Method in class edu.uky.cs.nil.sabre.search.Planner: Pre-processes a problem in preparation for creating a search to solve that problem.
compile(T) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles an object, replacing it or its parts with compiled elements.
compiled - Variable in class edu.uky.cs.nil.sabre.Session: The session's compiled problem
COMPILED_PROBLEM - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's compiled problem object
CompiledAction - Class in edu.uky.cs.nil.sabre.comp: A compiled action is a ground action which defines a unique ID number that corresponds to the action's index in its compiled problem's set of events, whose precondition and observation function are in disjunctive normal form, and whose effect is a clause.
CompiledAction(int, Signature, Disjunction, Clause, ImmutableSet, CompiledMapping, String) - Constructor for class edu.uky.cs.nil.sabre.comp.CompiledAction: Constructs a new compiled action.
CompiledEvent - Interface in edu.uky.cs.nil.sabre.comp: A compiled event is a ground event which defines a unique ID number that corresponds to the event's index in its compiled problem's set of events, whose precondition is in disjunctive normal form, and whose effect is a clause.
CompiledFluent - Class in edu.uky.cs.nil.sabre.comp: A compiled fluent is a fluent whose characters and signature are ground and which defines a unique ID number which corresponds to the fluent's index in its compiled problem's set of fluents.
CompiledFluent(int, Character, CompiledFluent) - Constructor for class edu.uky.cs.nil.sabre.comp.CompiledFluent: Constructs a new compiled fluent by prepending a character onto a parent.
CompiledFluent(int, Signature, Type, String) - Constructor for class edu.uky.cs.nil.sabre.comp.CompiledFluent: Constructs a new compiled fluent with an empty list of characters.
CompiledMapping<E> - Class in edu.uky.cs.nil.sabre.comp: A compiled mapping is a mapping whose get method only accepts ground characters and which always returns ground expressions.
CompiledMapping(E...) - Constructor for class edu.uky.cs.nil.sabre.comp.CompiledMapping: Constructs a new compiled mapping.
CompiledMapping(ImmutableArray) - Constructor for class edu.uky.cs.nil.sabre.comp.CompiledMapping: Constructs a new compiled mapping.
CompiledProblem - Class in edu.uky.cs.nil.sabre.comp: A compiled problem is a problem which has been pre-processed so that its fluents are compiled fluents, so that its events are compiled events, and so that it defines a full a state state.
CompiledProblem(String, Universe, ImmutableSet, EventSet, EventSet, Clause, FiniteState, Conditional, CompiledMapping, String) - Constructor for class edu.uky.cs.nil.sabre.comp.CompiledProblem: Constructs a new compiled problem.
CompiledTrigger - Class in edu.uky.cs.nil.sabre.comp: A compiled trigger is a ground trigger which defines a unique ID number that corresponds to the trigger's index in its compiled problem's set of events, whose precondition is in disjunctive normal form, and whose effect is a clause.
CompiledTrigger(int, Signature, Disjunction, Clause, String) - Constructor for class edu.uky.cs.nil.sabre.comp.CompiledTrigger: Creates a new compiled trigger.
condition - Variable in class edu.uky.cs.nil.sabre.hg.EffectNode: The node representing the condition under which the effect can happen
condition - Variable in class edu.uky.cs.nil.sabre.hg.GoalNode: The condition which, if it has a finite cost, will add values to the utility expression
condition - Variable in class edu.uky.cs.nil.sabre.logic.Effect: The condition under which this assignment would occur (or true if the assignment would always occur)
Conditional<E> - Class in edu.uky.cs.nil.sabre.logic: A conditional is a logical expression which can have one of several possible values depending on which of its Boolean conditions evaluates to true.
Conditional(E[], Expression[]) - Constructor for class edu.uky.cs.nil.sabre.logic.Conditional: Constructs a new conditional with the given arrays of conditions and branches.
Conditional(Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Conditional: Constructs a trivial conditional whose implicit condition is true and which will always evaluate to the value of its only branch.
Conditional(ImmutableArray, ImmutableArray) - Constructor for class edu.uky.cs.nil.sabre.logic.Conditional: Constructs a new conditional with the given immutable arrays of conditions and branches.
Conditional(E, Expression, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Conditional: Constructs a conditional with a single condition and two branches.
Conditional(Iterable, Iterable) - Constructor for class edu.uky.cs.nil.sabre.logic.Conditional: Constructs a new conditional with the given iterables of conditions and branches.
CONDITIONAL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a conditional
CONDITIONAL_EFFECT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical effect with a condition
CONDITIONAL_EFFECT_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for a conditional effect
CONDITIONAL_FIRST_BRANCH - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the first branch of a conditional
CONDITIONAL_FIRST_BRANCH_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the first branch of a conditional expression
CONDITIONAL_LAST_BRANCH - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the last branch of a conditional
CONDITIONAL_LAST_BRANCH_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the last branch of a conditional expression
CONDITIONAL_MIDDLE_BRANCH - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the middle branches of a conditional
CONDITIONAL_MIDDLE_BRANCH_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for all middle branches of a conditional expression
conditionals - Variable in class edu.uky.cs.nil.sabre.hg.DisjunctionNode: All nodes which depend on this disjunction as a condition
conditionBranchCount(int, int) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a conditional logical expression has a mismatch between the number of conditions and branches (the number of branches must always be exactly 1 more than the number of conditions).
conditions - Variable in class edu.uky.cs.nil.sabre.logic.Conditional: The conditions that will be checked in order (the first condition is paired with the first branch, the second with the second branch, etc.)
configure(Session, CommandLineArguments, boolean) - Static method in class edu.uky.cs.nil.sabre.Main: Configures the given session according to the command line arguments.
Conjunction<E> - Class in edu.uky.cs.nil.sabre.logic: A conjunction is a proposition made up of zero to many arguments (or conjuncts) which are expressions of type boolean and must all evaluate to true for the conjunction to be true.
Conjunction(E...) - Constructor for class edu.uky.cs.nil.sabre.logic.Conjunction: Constructs a new conjunction from an array of conjuncts.
Conjunction(ImmutableArray) - Constructor for class edu.uky.cs.nil.sabre.logic.Conjunction: Constructs a new conjunction from an immutable array of conjuncts.
Conjunction(Iterable) - Constructor for class edu.uky.cs.nil.sabre.logic.Conjunction: Constructs a new conjunction from an iterable of conjuncts.
CONJUNCTION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a conjunction
CONJUNCTION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the logical conjunction operator
ConsentExplicitizer - Class in edu.uky.cs.nil.sabre.comp: Creates a copy of a compiled problem where all of its actions have preconditions that require all of the action's consenting characters to believe the action is possible.
consenting - Variable in class edu.uky.cs.nil.sabre.Action: A set of zero to many characters who need a reason to take the action
consenting - Variable in class edu.uky.cs.nil.sabre.comp.CompiledAction: The action's ground Action.consenting consenting characters
CONSENTING_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning an action's consenting characters
constant - Variable in class edu.uky.cs.nil.sabre.io.ConstantBuilder: The object that will always be returned by ConstantBuilder.build(Parser, ParseTree, Definitions)
ConstantBuilder - Class in edu.uky.cs.nil.sabre.io: A builder which always returns the same object regardless of what input it receives.
ConstantBuilder(Object) - Constructor for class edu.uky.cs.nil.sabre.io.ConstantBuilder: Constructs a new constant builder whose ConstantBuilder.build(Parser, ParseTree, Definitions) method will always return the given object.
ConstantNode - Class in edu.uky.cs.nil.sabre.hg: A cost set node representing a single value, where that value always costs 0 and all other values always cost positive infinity.
ConstantNode(HeuristicGraph, Value) - Constructor for class edu.uky.cs.nil.sabre.hg.ConstantNode: Constructs a new constant node that belongs to a given graph and represents a given constant value.
contains(Fluent) - Method in class edu.uky.cs.nil.sabre.Fluent: Tests whether the given fluent is the same as this fluent, except that its list of characters is the same as or a shorter version of this fluent's list of characters.
contains(Object) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction: Tests whether a given object is one of the arguments (or conjuncts) of this conjunction.
contains(Object) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction: Tests whether a given object is one of the arguments (or disjuncts) of this disjunction.
contains(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray: Tests whether a given element appears in the array.
contains(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableList: Tests whether a given element appears in the list.
contains(String) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Tests whether a given argument is in the collection.
cost - Variable in class edu.uky.cs.nil.sabre.hg.CostSet.Entry: The cost of the value in the cost set
cost - Variable in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: A function to measure the cost of a plan so far
cost - Variable in class edu.uky.cs.nil.sabre.prog.WeightedCost: The original cost function whose value will be multiplied by the weight constant
cost - Variable in class edu.uky.cs.nil.sabre.prog.WeightedCost.Factory: The factory for the original cost function that will be multiplied by the weight constant
cost(ArithmeticNode, Value, double, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Defines the cost of a value of an arithmetic node based on the values and costs of the left and right sides of the node's arithmetic expression.
cost(ArithmeticNode, Value, double, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.MaxGraph
cost(ArithmeticNode, Value, double, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.SumGraph
cost(ClauseNode) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Defines the cost of a clause node being true.
cost(ClauseNode) - Method in class edu.uky.cs.nil.sabre.hg.MaxGraph
cost(ClauseNode) - Method in class edu.uky.cs.nil.sabre.hg.SumGraph
cost(EffectNode) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Defines the cost of an effect node being included in the graph, which means that at least one of the events that has this effect has a finite cost and the effect's condition also has a finite cost.
cost(EffectNode) - Method in class edu.uky.cs.nil.sabre.hg.MaxGraph
cost(EffectNode) - Method in class edu.uky.cs.nil.sabre.hg.SumGraph
cost(EffectNode, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Defines the cost of an effect node's fluent having a given value from the right hand side of an effect node's assignment based on the value and cost of the right hand side.
cost(EffectNode, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.MaxGraph
cost(EffectNode, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.SumGraph
cost(GoalNode, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Defines the cost of a utility node having a given value based on the cost of the goal condition that was met and the value and cost of the branch of the utility expression that was evaluated.
cost(GoalNode, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.MaxGraph
cost(GoalNode, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.SumGraph
cost(PreconditionNode, Value, double, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Defines the cost of a precondition node being true based on the values and costs of the left and right sides of its comparison.
cost(PreconditionNode, Value, double, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.MaxGraph
cost(PreconditionNode, Value, double, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.SumGraph
COST - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the heuristic progression planner's cost function
COST_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the cost function
COST_WEIGHT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the weight to apply to the cost function
CostNode - Class in edu.uky.cs.nil.sabre.hg: A heuristic graph node that represents a Boolean proposition and the cost of that proposition being true.
CostNode(HeuristicGraph, Logical) - Constructor for class edu.uky.cs.nil.sabre.hg.CostNode: Constructs a new cost node that belongs to a given graph and represents a given Boolean logical formula.
CostSet - Interface in edu.uky.cs.nil.sabre.hg: A cost set is a collection of values where each is associated with a numeric cost.
CostSet.Entry - Class in edu.uky.cs.nil.sabre.hg: An individual value/cost pair in a cost set.
Countable - Interface in edu.uky.cs.nil.sabre.util: An interface for anything with an integer Countable.size().
covers(Signature) - Method in class edu.uky.cs.nil.sabre.Signature: Tests whether this signature is the same as or more general than a given signature.
CREDITS - Static variable in class edu.uky.cs.nil.sabre.Settings: A header including title, authors, and version number
CUT - Enum constant in enum class edu.uky.cs.nil.sabre.io.Tokenizer.Instruction: Mark the current token as complete and start a new one

D

DEFAULT_CHUNK_SIZE - Static variable in class edu.uky.cs.nil.sabre.util.BigArrayLong: The default chunk size
DEFAULT_ENTITY_COMMENT - Static variable in class edu.uky.cs.nil.sabre.Settings: The comment associated with a newly defined entity by default
DEFAULT_PRINTER - Static variable in class edu.uky.cs.nil.sabre.Utilities: A default printer generally used for converting objects to strings
DEFAULT_PROBLEM_COMMENT - Static variable in class edu.uky.cs.nil.sabre.Settings: The comment associated with a newly defined problem by default
DEFAULT_SYMBOLS - Static variable in class edu.uky.cs.nil.sabre.io.Tokenizer: A default list of symbols
DEFAULT_TYPE_COMMENT - Static variable in class edu.uky.cs.nil.sabre.Settings: The comment associated with a newly defined type by default
DefaultParser - Class in edu.uky.cs.nil.sabre.io: A parser which defines rules and builders for parsing many kinds of common objects, including problems and logical formulas.
DefaultParser() - Constructor for class edu.uky.cs.nil.sabre.io.DefaultParser: Constructs a new default parser.
DefaultPrinter - Class in edu.uky.cs.nil.sabre.io: A printer which defines object printers for many kinds of common objects, including problems, logical formulas, and plans.
DefaultPrinter() - Constructor for class edu.uky.cs.nil.sabre.io.DefaultPrinter: Constructs a new default printer.
define(Entity) - Method in class edu.uky.cs.nil.sabre.io.Parser: Permanently defines an entity.
define(Problem) - Method in class edu.uky.cs.nil.sabre.io.Parser: Permanently defines a problem and its associated universe.
define(Type) - Method in class edu.uky.cs.nil.sabre.io.Parser: Permanently defines a type.
define(Universe) - Method in class edu.uky.cs.nil.sabre.io.Parser: Permanently defines a universe and all of its types and entities.
define(Object) - Method in class edu.uky.cs.nil.sabre.io.Parser: Permanently defines an object; the object will now be defined in all contexts when building.
define(String, Object) - Method in class edu.uky.cs.nil.sabre.io.Parser: Permanently defines an object by name; the object will now be defined in all contexts when building.
defineAction(Signature, Expression, Expression, Iterable, Mapping, String) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Defines a new action.
DEFINED_TYPED - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a typed logical formula
DefinedObjectBuilder - Class in edu.uky.cs.nil.sabre.io: A builder which returns a defined object.
DefinedObjectBuilder(Class) - Constructor for class edu.uky.cs.nil.sabre.io.DefinedObjectBuilder: Constructs a new defined object builder.
defineEntity(String) - Method in class edu.uky.cs.nil.sabre.UniverseBuilder: Defines a new type with the given name, which will have entity as its only type, unless an entity with this name already exists, in which case that entity will be returned.
defineFluent(Signature, Type, String) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Defines a new fluent.
defineTrigger(Signature, Expression, Expression, String) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Defines a new trigger.
defineType(String) - Method in class edu.uky.cs.nil.sabre.UniverseBuilder: Defines a new type with the given name, which will have entity as its parent type, unless a type with this name already exists, in which case that type will be returned.
DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of some part of a planning problem
DEFINITION_INDICATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword to the right of a definition's label that indicates the definition appears to the right of this keyword
DEFINITION_SEPARATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for ending a definition
Definitions - Class in edu.uky.cs.nil.sabre.io: A set of objects which have been defined and which may be referenced while building an object from a parse tree.
Definitions() - Constructor for class edu.uky.cs.nil.sabre.io.Definitions: Constructs an empty set of defined objects.
description - Variable in class edu.uky.cs.nil.sabre.io.NonTerminal: A description of the thing this non-terminal symbol represents
Disjunction<E> - Class in edu.uky.cs.nil.sabre.logic: A disjunction is a proposition made up of zero to many arguments (or disjuncts) which are expressions of type boolean such that at least one of them must evaluate to true for the disjunction to be true.
Disjunction(E...) - Constructor for class edu.uky.cs.nil.sabre.logic.Disjunction: Constructs a new disjunction from an array of disjuncts.
Disjunction(ImmutableArray) - Constructor for class edu.uky.cs.nil.sabre.logic.Disjunction: Constructs a new disjunction from an immutable array of disjuncts.
Disjunction(Iterable) - Constructor for class edu.uky.cs.nil.sabre.logic.Disjunction: Constructs a new disjunction from an iterable of disjuncts.
DISJUNCTION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a disjunction
DISJUNCTION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the logical disjunction operator
DisjunctionNode - Class in edu.uky.cs.nil.sabre.hg: A node which represents a logical expression in disjunctive normal form, a disjunction of conjunctive clauses where at least one clause must have a finite cost before the disjunction can have a finite cost.
DisjunctionNode(HeuristicGraph, Disjunction) - Constructor for class edu.uky.cs.nil.sabre.hg.DisjunctionNode: Constructs a new disjunction node that belongs to a given graph and represents a given disjunctive normal form expression.
disjunctions - Variable in class edu.uky.cs.nil.sabre.hg.ClauseNode: The nodes representing all disjunctions that this clause appears in
distinguish(Logical) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Returns a copy of this formula such that none of its variables are the same as any variables in the given formula.
divide(Number) - Method in class edu.uky.cs.nil.sabre.Number: Returns a new number which is the quotient of this number and the given second number.
DIVIDE - Static variable in class edu.uky.cs.nil.sabre.logic.Arithmetic: An arithmetic operator for dividing the left side of an arithmetic expression by the right.
DIVIDE_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the division operator
divideByZero(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when evaluating a logical expression (usually an arithmetic expression) would cause division by zero.
DIVISION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a division arithmetic expression
DIVISION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the division operator
DummyAction - Class in edu.uky.cs.nil.sabre.graph: Dummy actions are special actions which are sometimes created to update a state when a traditional action occurs.

E

Edge - Class in edu.uky.cs.nil.sabre.graph: An directed edge in a state graph extends from a parent node to a child node and has a label explaining the meaning of the transition.
EdgeIterator<E> - Class in edu.uky.cs.nil.sabre.graph: An iterator for a collection of edges.
edu.uky.cs.nil.sabre - package edu.uky.cs.nil.sabre: Fundamental elements for defining planning problems and plans.
edu.uky.cs.nil.sabre.comp - package edu.uky.cs.nil.sabre.comp: Tools for compiling planning problems into a representation that enables more efficient knowledge representation and planning.
edu.uky.cs.nil.sabre.etree - package edu.uky.cs.nil.sabre.etree: Data structures for efficiently determining which events have preconditions which are satisfied in a given state.
edu.uky.cs.nil.sabre.graph - package edu.uky.cs.nil.sabre.graph: Data structures for representing the state-space of a planning problem as a finite graph of state nodes linked by temporal and epistemic edges.
edu.uky.cs.nil.sabre.hg - package edu.uky.cs.nil.sabre.hg: Data structures similar to plan graphs that can be used to explore the structure of and estimate important properties of a problem.
edu.uky.cs.nil.sabre.io - package edu.uky.cs.nil.sabre.io: Tools for reading and writing planning problems, plans, and their components.
edu.uky.cs.nil.sabre.logic - package edu.uky.cs.nil.sabre.logic: Logical expressions and logical operations.
edu.uky.cs.nil.sabre.prog - package edu.uky.cs.nil.sabre.prog: A planner that performs forward (progression) search} through the space of states.
edu.uky.cs.nil.sabre.ptree - package edu.uky.cs.nil.sabre.ptree: Models a forward search through the space of states as a tree, meaning no overhead is spent detecting or reusing duplicate states.
edu.uky.cs.nil.sabre.search - package edu.uky.cs.nil.sabre.search: The parent objects for planners, searches, and the results of searches.
edu.uky.cs.nil.sabre.util - package edu.uky.cs.nil.sabre.util: Special-purpose data structures.
effect - Variable in class edu.uky.cs.nil.sabre.Action: A logical expression that will be true after the action occurs
effect - Variable in class edu.uky.cs.nil.sabre.comp.CompiledAction: The action's effect as a clause
effect - Variable in class edu.uky.cs.nil.sabre.comp.CompiledTrigger: The trigger's effect as a clause
effect - Variable in class edu.uky.cs.nil.sabre.Trigger: A logical expression that will be true after the trigger occurs
Effect - Class in edu.uky.cs.nil.sabre.logic: An effect is an atomic assignment that must have a fluent on the left side, a valued expression on the right side, and a condition in in disjunctive normal form under which the assignment would occur.
Effect(Fluent, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Effect: Constructs a new effect from a given fluent and valued expression whose condition will be true.
Effect(Disjunction, Fluent, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Effect: Constructs a new effect without checking whether the right side is is valued.
Effect(Expression, Fluent, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Effect: Constructs a new effect from a given condition, fluent, and valued expression.
EFFECT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical effect
EFFECT_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning an event effect
effectConditionCannotBeFalse() - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when an effect is created with false as its condition.
EffectNode - Class in edu.uky.cs.nil.sabre.hg: A node which represents an atomic effect of an event.
EffectNode(HeuristicGraph, Effect) - Constructor for class edu.uky.cs.nil.sabre.hg.EffectNode: Constructs a new effect node that belongs to a given graph and represents a given atomic effect.
effects - Variable in class edu.uky.cs.nil.sabre.hg.EventNode: The nodes representing the event's effects
effects - Variable in class edu.uky.cs.nil.sabre.hg.FluentNode: All effect nodes which assign values to this node's fluent
effects - Variable in class edu.uky.cs.nil.sabre.hg.PreconditionNode: A list of all effect nodes which might assign values to this node's fluent
element - Variable in class edu.uky.cs.nil.sabre.io.List: A pattern that every element in the list should match
EMPTY - Static variable in class edu.uky.cs.nil.sabre.etree.EventTree: An empty event tree with no events and no branches
EMPTY - Static variable in class edu.uky.cs.nil.sabre.HeadPlan: A plan with no actions
EMPTY - Static variable in class edu.uky.cs.nil.sabre.logic.Clause: The empty clause is clause with zero atoms which is logically equivalent to true.
EMPTY - Static variable in interface edu.uky.cs.nil.sabre.logic.Substitution: An empty substitution which maps every object to itself.
EMPTY - Static variable in class edu.uky.cs.nil.sabre.TailPlan: A plan with no actions
EMPTY - Static variable in class edu.uky.cs.nil.sabre.util.ImmutableList: An empty list
EMPTY_HEAD_PLAN - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the empty head plan
entities - Variable in class edu.uky.cs.nil.sabre.Universe: The entities defined in this universe (index corresponds to Entity.id; characters are always listed first)
Entity - Class in edu.uky.cs.nil.sabre: An entity represents a discrete object in a problem.
ENTITY - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an entity
ENTITY_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of an entity
ENTITY_DEFINITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning an entity definition
ENTITY_EXPRESSION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical expression that evaluates to an entity
ENTITY_TYPE_COMMENT - Static variable in class edu.uky.cs.nil.sabre.Settings: The comment associated with the entity type by default
ENTITY_TYPE_ID - Static variable in class edu.uky.cs.nil.sabre.Settings: The ID number and index of the entity type
ENTITY_TYPE_NAME - Static variable in class edu.uky.cs.nil.sabre.Settings: The name of the entity type which is the parent type of all other types and is pre-defined in all problems
EntityEventTree<E> - Class in edu.uky.cs.nil.sabre.etree: A branching event tree whose expression is a fluent of type entity and will have several possible branches: one for each possible value the fluent could have, one where the fluent's value is unknown, and the irrelevant branch.
EntityEventTree(ImmutableSet, Fluent, UniqueMap, EventTree, EventTree) - Constructor for class edu.uky.cs.nil.sabre.etree.EntityEventTree: Constructs a new entity event tree.
entityMayNotBeOfType(Entity, Type) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when attempting to assign an entity a type which it cannot have.
entries() - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode: Returns an array of cost set entries for every value (and its associated cost) that this fluent can have.
Entry(Value, double) - Constructor for class edu.uky.cs.nil.sabre.hg.CostSet.Entry: Constructs a new cost set entry.
Epistemic - Class in edu.uky.cs.nil.sabre.logic: An epistemic expression is a logical expression about what an character believes the value of a logical expression to be.
Epistemic(Parameter, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Epistemic: Constructs a new epistemic expression.
EPISTEMIC - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a belief expression
EPISTEMIC_FLUENT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a fluent with some number of characters
EPISTEMIC_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for epistemic modal expressions
EPISTEMIC_LIMIT - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the planner's epistemic limit setting
EPISTEMIC_LIMIT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the epistemic limit
EpistemicEdge - Class in edu.uky.cs.nil.sabre.graph: An epistemic edge is an edge whose parent is some world state and whose child represents the beliefs of the edge's character.
epistemicLimit - Variable in class edu.uky.cs.nil.sabre.search.Search: The maximum depth that each character's theory of mind (what one character believes another character believes, etc.) can be searched.
EQUAL_TO - Static variable in class edu.uky.cs.nil.sabre.logic.Comparison: Represents a Comparison where the left and right are the same.
EQUAL_TO_COMPARISON - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an equal to comparison
EQUAL_TO_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for equal to comparison
EQUAL_TO_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the equal to comparison operator
EQUAL_TO_PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an equal to precondition
equals(Object) - Method in class edu.uky.cs.nil.sabre.Action
equals(Object) - Method in class edu.uky.cs.nil.sabre.Beliefs
equals(Object) - Method in class edu.uky.cs.nil.sabre.comp.CompiledAction
equals(Object) - Method in class edu.uky.cs.nil.sabre.comp.CompiledFluent
equals(Object) - Method in class edu.uky.cs.nil.sabre.comp.CompiledTrigger
equals(Object) - Method in class edu.uky.cs.nil.sabre.Fluent
equals(Object) - Method in class edu.uky.cs.nil.sabre.HeadPlan
equals(Object) - Method in class edu.uky.cs.nil.sabre.hg.CostSet.Entry
equals(Object) - Method in class edu.uky.cs.nil.sabre.InitialState
equals(Object) - Method in class edu.uky.cs.nil.sabre.io.Keyword
equals(Object) - Method in class edu.uky.cs.nil.sabre.io.NonTerminal
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Assignment
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Comparison
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Conditional
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Effect
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.False
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Negation
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Quantified
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.True
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
equals(Object) - Method in class edu.uky.cs.nil.sabre.logic.Variable
equals(Object) - Method in class edu.uky.cs.nil.sabre.Mapping.Function
equals(Object) - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
equals(Object) - Method in class edu.uky.cs.nil.sabre.Signature
equals(Object) - Method in class edu.uky.cs.nil.sabre.SolutionGoal
equals(Object) - Method in class edu.uky.cs.nil.sabre.SolutionPlan
equals(Object) - Method in class edu.uky.cs.nil.sabre.TailPlan
equals(Object) - Method in class edu.uky.cs.nil.sabre.Trigger
equals(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray
equals(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableList
equals(Object) - Method in class edu.uky.cs.nil.sabre.util.UniqueMap
equals(Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Checks whether two objects are equal to one another without causing a NullPointerException if one or both of them is null.
evaluate(ProgressionNode) - Method in class edu.uky.cs.nil.sabre.prog.GraphHeuristic.AdmissibleMaxGraphHeuristic
evaluate(ProgressionNode) - Method in class edu.uky.cs.nil.sabre.prog.GraphHeuristic
evaluate(ProgressionNode) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionCost: Returns the cost of a given node based on its context in the progression search that generated it.
evaluate(ProgressionNode) - Method in class edu.uky.cs.nil.sabre.prog.ReachabilityHeuristic
evaluate(ProgressionNode) - Method in class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic
evaluate(ProgressionNode) - Method in class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic
evaluate(ProgressionNode) - Method in class edu.uky.cs.nil.sabre.prog.WeightedCost
evaluate(State) - Method in class edu.uky.cs.nil.sabre.Character
evaluate(State) - Method in class edu.uky.cs.nil.sabre.Entity
evaluate(State) - Method in class edu.uky.cs.nil.sabre.Fluent
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic: First evaluates the left and right side of this expression and then applies this expression's operator to the resulting numbers.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: First generates a series of numeric expressions by substituting every possible value for this expansion's variable into this expansion's argument and then applies this expansion's operator's arithmetic operator to the series of expressions, returning the resulting value.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Assignment: Returns true if this assignment would change the given state.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Comparison: Returns true if the relationship represented by this comparison's operator holds between the left and right sides, or false otherwise.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Evaluates each condition in order until one of them evaluates to true, and then evaluates the branch corresponding to that condition and returns that value.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction: Returns true if and only if every conjunct of this conjunction evaluates to true.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction: Returns true if and only if at least one disjunct of this disjunction evaluates to true.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Effect
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Epistemic: Return the value this expression's character believes that this expression's argument has in the given state.
evaluate(State) - Method in interface edu.uky.cs.nil.sabre.logic.Expression: Returns the value of this expression in a given state.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.False
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Negation: Evaluates the negation's argument and returns the opposite of its boolean value.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Quantified: Returns true if the argument holds with the frequency required by the quantifier, or false otherwise.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.True
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint: First evaluates the argument and then returns true if the argument is of the specified type, or false otherwise.
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Unknown
evaluate(State) - Method in interface edu.uky.cs.nil.sabre.logic.Value
evaluate(State) - Method in class edu.uky.cs.nil.sabre.logic.Variable
evaluate(State) - Method in class edu.uky.cs.nil.sabre.Number
evaluate(State, Character) - Method in class edu.uky.cs.nil.sabre.prog.GraphHeuristic: Uses a heuristic graph to estimate the number of actions that need to be taken from the given state to improve the utility of the given character.
evaluate(State, Character) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic
Event - Interface in edu.uky.cs.nil.sabre: An event changes the state of the world; there are two main types of events, actions and triggers.
EVENT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an event
EVENT_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of an event
EVENT_DEFINITION_CLOSE_BRACKET - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword that end the block of definitions of an event's elements
EVENT_DEFINITION_OPEN_BRACKET - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword that starts the block of definitions of an event's elements
EVENT_EFFECT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of an event's effect
EVENT_PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of an event's precondition
EventNode - Class in edu.uky.cs.nil.sabre.hg: A node which represents an event, which has a precondition that must have a finite cost before it can occur and effects which may cause other nodes to take on finite values.
EventNode(HeuristicGraph, Event) - Constructor for class edu.uky.cs.nil.sabre.hg.EventNode: Constructs a new event node that belongs to a given graph and represents a given event.
events - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: The set of all compiled events that can ever occur
events - Variable in class edu.uky.cs.nil.sabre.etree.EventTree: The events whose preconditions are satisfied
events - Variable in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Maps the events this tree (and its branches) will contain to their preconditions.
events - Variable in class edu.uky.cs.nil.sabre.hg.EffectNode: A list of event nodes that have this effect
events - Variable in class edu.uky.cs.nil.sabre.Problem: A set of all events that can occur
EventSet<E> - Class in edu.uky.cs.nil.sabre.etree: An immutable set of ground events which does not initially build an event tree, but allows one to be built later and the result cached.
EventSet(E...) - Constructor for class edu.uky.cs.nil.sabre.etree.EventSet: Constructs a new event set from an array of ground events.
EventSet(ImmutableSet) - Constructor for class edu.uky.cs.nil.sabre.etree.EventSet: Constructs a new event set by reusing the array underlying an immutable set of ground events.
EventSet(Iterable) - Constructor for class edu.uky.cs.nil.sabre.etree.EventSet: Constructs a new event set from an iterable of ground events.
EventTree<E> - Class in edu.uky.cs.nil.sabre.etree: An event tree is a stateless data structure used to efficiently determine which events have preconditions satisfied in a given state.
EventTree(E...) - Constructor for class edu.uky.cs.nil.sabre.etree.EventTree: Constructs a new event tree from an array of events.
EventTree(ImmutableSet) - Constructor for class edu.uky.cs.nil.sabre.etree.EventTree: Constructs a new event tree from a set of events.
EventTree(ImmutableSet, Expression) - Constructor for class edu.uky.cs.nil.sabre.etree.EventTree: Constructs a new event tree from a set of events with a given expression.
EventTree(Set) - Constructor for class edu.uky.cs.nil.sabre.etree.EventTree: Constructs a new event tree from a set of events.
EventTreeBuilder<E> - Class in edu.uky.cs.nil.sabre.etree: A factory object used to build an event tree from a set of events.
EventTreeBuilder(Iterable) - Constructor for class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Constructs a new event tree builder that will build an event tree from a given collection of events.
EventTreeBuilder(Map) - Constructor for class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Constructs a new event tree builder using the given map of events to preconditions.
EventTreeStatus - Class in edu.uky.cs.nil.sabre.etree: A wrapper around a status object used by an event tree builder to keep track of how many branches of an event tree have been built.
EventTreeStatus(Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.etree.EventTreeStatus: Constructs a new event tree status.
Exceptions - Class in edu.uky.cs.nil.sabre: All exceptions are generated from this utility class so that exception messages can be kept in one place for easy comparison and modification.
EXISTENTIAL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an existentially quantified expression
EXISTENTIAL - Static variable in class edu.uky.cs.nil.sabre.logic.Quantified: The existential quantifier specifies that a quantified expression must hold for at least one possible value its variable can have.
EXISTENTIAL_QUANTIFICATION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the existential quantifier
EXISTENTIAL_QUANTIFIER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the existential quantifier
expand() - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: Returns a numeric expression which is logically equivalent to this expansion but which does not contain this expansion's operator or variable.
expand() - Method in class edu.uky.cs.nil.sabre.logic.Quantified: Returns a logical expression that is logically equivalent to this expression but with the quantifier and variable removed.
expand() - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint: Returns a logical expression that is logically equivalent to this type constraint but which does not include this type constraint.
expand(Expression[]) - Method in class edu.uky.cs.nil.sabre.logic.Quantified.Quantifier: A utility method for Quantified.Quantifier.expand(Variable, Expression) that creates an expression from an array of arguments which are copies of a quantified expression with the quantified variable replaced with every possible value it can have.
expand(Variable, Expression) - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion.Operator: Returns a numeric expression which is logically equivalent to an arithmetic expansion with this operator but which does not contain this operator or variable.
expand(Variable, Expression) - Method in class edu.uky.cs.nil.sabre.logic.Quantified.Quantifier: Returns a logical expression that is logically equivalent to a quantified expression with this quantifier but which does not contain the quantifier or variable.
expand(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Finds all relevant actions that can be taken in a given search node's state and calls ProgressionSearch.expand(SearchNode, CompiledAction) for the node and each action.
expand(SearchNode, CompiledAction) - Method in class edu.uky.cs.nil.sabre.prog.GoalFirstSearch: This method is called for each action that is relevant to the state represented by a given search node.
expand(SearchNode, CompiledAction) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: This method is called for each action that is relevant to the state represented by a given search node.
explain(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Generates a branch for each consenting character of the action that led to the given search node and adds them to the search queue.
EXPLANATION - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCost: A cost function that returns the explanation depth of the node it is evaluating, which is the number of actions that have been taken since the explanation this node is part of began.
EXPLANATION - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCostFactory: A progression cost factory that always returns the explanation depth.
EXPLANATION_COST_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the explanation depth function
EXPLANATION_FIRST - Enum constant in enum class edu.uky.cs.nil.sabre.prog.ProgressionPlanner.Method: A* search that requires every action to be explained for other characters before it is explained for the node's character
EXPLANATION_FIRST_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for explanation-first search
EXPLANATION_PRUNING - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the heuristic progression planner's explanation pruning setting
EXPLANATION_PRUNING_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for explanation pruning
ExplanationFirstSearch - Class in edu.uky.cs.nil.sabre.prog: Explanation-first search is a type of progression search that requires every action in a plan to be explained before it will consider adding additional actions to the plan.
ExplanationFirstSearch(CompiledProblem, ProgressionCost, ProgressionCost, EventTree, ProgressionSpace, long, long, long, int, int, int, boolean) - Constructor for class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch: Constructs a new explanation-first progression search.
explanationMustStartWithAction(Plan, Action) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when attempting to use a plan to explain an action but the plan does not start with that action.
explanationPruning - Variable in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Whether or not this search will use explanation pruning, which means that a node will not be visited if its root is already explained.
explanations - Variable in class edu.uky.cs.nil.sabre.SolutionPlan: Explanations for the action's consenting characters (except for this solution's character)
EXPLICIT_CONJUNCTION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a conjunction with two or more Conjunction.arguments arguments
EXPLICIT_DISJUNCTION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a disjunction with two or more arguments
expression - Variable in class edu.uky.cs.nil.sabre.etree.EntityEventTree: The fluent of type entity on which this event tree will branch
expression - Variable in class edu.uky.cs.nil.sabre.etree.EventTree: The expression on which this event tree will branch
Expression - Interface in edu.uky.cs.nil.sabre.logic: A logical expression is a logical formula which can be evaluated in a state to return a value.
EXPRESSION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical expression
extend() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Sets the cost of any action node which currently has an infinite cost but whose precondition has a finite cost to the cost of its precondition plus one.
extract(ArithmeticNode, Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to make an arithmetic node compare to a value.
extract(ClauseNode) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to make a clause node true.
extract(DisjunctionNode) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to make a disjunction node true.
extract(EffectNode) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to include an effect node in the subgraph.
extract(EventNode) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to include an event node in the subgraph.
extract(FluentNode, Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to make a fluent node compare to a value.
extract(FormulaNode, Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to make a formula node compare to a value.
extract(PreconditionNode) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to make a precondition node true.
extract(UtilityNode, Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Adds nodes from the heuristic graph to the solution subgraph which are needed to make a utility node compare to a value.

F

Factory(ProgressionCostFactory) - Constructor for class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic.Factory: Constructs a new repeated node heuristic factory.
Factory(ProgressionCostFactory) - Constructor for class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic.Factory: Constructs a new repeated root heuristic factory.
Factory(ProgressionCostFactory, double) - Constructor for class edu.uky.cs.nil.sabre.prog.WeightedCost.Factory: Constructs a new weighted cost factory.
FACTORY - Static variable in class edu.uky.cs.nil.sabre.prog.ReachabilityHeuristic: A factory for creating reachability heuristics.
FACTORY - Static variable in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: A factory for creating relaxed plan heuristic costs.
failedToParseCommandLineArgument(String, String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when parsing a value from a set of command line arguments fails.
False - Class in edu.uky.cs.nil.sabre.logic: False is one of two singleton values of type boolean that represents the opposite of true.
FALSE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing false
FALSE - Static variable in class edu.uky.cs.nil.sabre.logic.False: The singleton false object
FALSE_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for false
falseBranch - Variable in class edu.uky.cs.nil.sabre.etree.BooleanEventTree: Events whose preconditions require this tree's expression to be false
fileNotFound(String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a command line argument is a file, but the file cannot be found.
find(Keyword, ImmutableList) - Static method in class edu.uky.cs.nil.sabre.io.Lookahead: Searches a list of tokens for the first occurrence of a keyword, and if it is found, returns the list starting at that token.
find(Class) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Returns the first object which is of a given type that can be found in this logical formula (or any of the logical formulas which make it up).
find(Class, Predicate) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Returns the first object which is of a given type and which satisfies a given predicate that can be found in this logical formula (or any of the logical formulas which make it up).
find(String, ImmutableList) - Static method in class edu.uky.cs.nil.sabre.io.Lookahead: Searches a list of tokens for the first occurrence of a token whose string value matches a query, and if it is found, returns the list starting at that token.
find(Predicate) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Returns the first object which satisfied the given predicate that can be found in this logical formula (or any of the logical formulas which make it up).
FiniteState - Interface in edu.uky.cs.nil.sabre: A finite state is a state which can return the beliefs of any character as a state object, such that the graph of all states is finite.
first - Variable in class edu.uky.cs.nil.sabre.HeadPlan: The first action in the plan
first - Variable in class edu.uky.cs.nil.sabre.SolutionPlan: The first action in this solution
first - Variable in class edu.uky.cs.nil.sabre.util.ImmutableList: The first element of the list
first(ImmutableList) - Static method in interface edu.uky.cs.nil.sabre.io.Pattern: Returns the first token in a list as a new list containing exactly that one token.
flip() - Method in class edu.uky.cs.nil.sabre.logic.Comparison: Returns a new comparison where the left is now on the right, the right is now on the left, and the operator has been flipped.
flip() - Method in class edu.uky.cs.nil.sabre.logic.Comparison.Operator: Returns the operator this operator would become when flipping a comparison in which it appears.
fluent - Variable in class edu.uky.cs.nil.sabre.hg.EffectNode: The node representing the fluent on the left side of the assignment
fluent - Variable in class edu.uky.cs.nil.sabre.hg.PreconditionNode: The node representing the fluent on the left side of the comparison
fluent - Variable in class edu.uky.cs.nil.sabre.logic.Assignment: The fluent whose value will be set
Fluent - Class in edu.uky.cs.nil.sabre: A fluent is a property of a state which can be assigned a value and whose value may change as a result of an event.
Fluent(Signature, Type, String) - Constructor for class edu.uky.cs.nil.sabre.Fluent: Constructs a fluent with no characters.
Fluent(ImmutableArray, Signature, Type, String) - Constructor for class edu.uky.cs.nil.sabre.Fluent: Constructs a new fluent with the given identifiers.
FLUENT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a fluent
FLUENT_DEFINITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning a fluent definition
FluentExplicitizer - Class in edu.uky.cs.nil.sabre.comp: Adds additional compiled fluents and compiled triggers to a compiled problem to make it easier to check when trigger apply in a state.
FluentNode - Class in edu.uky.cs.nil.sabre.hg: A cost set node representing a fluent, a feature of a state that can have one of several values.
FluentNode(HeuristicGraph, Fluent) - Constructor for class edu.uky.cs.nil.sabre.hg.FluentNode: Constructs a new fluent node that belongs to a given graph and represents a given fluent.
fluents - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: The compiled fluents tracked in every state of the problem
fluents - Variable in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: A mapping of fluents to compiled fluents
fluents - Variable in class edu.uky.cs.nil.sabre.graph.StateGraph: The set of all fluents tracked by the state nodes in this graph (with all Fluent.characters removed).
fluents - Variable in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Nodes representing all fluents in the graph
fluents - Variable in class edu.uky.cs.nil.sabre.Problem: The fluents tracked in every state of the problem
forEach(Consumer) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
forEach(Consumer) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
forEach(Consumer) - Method in class edu.uky.cs.nil.sabre.hg.List
forEach(Consumer) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray
forEach(Consumer) - Method in class edu.uky.cs.nil.sabre.util.ImmutableList
forEach(Consumer) - Method in class edu.uky.cs.nil.sabre.util.UniqueMap
forEvery(State, Consumer) - Method in class edu.uky.cs.nil.sabre.etree.BranchingEventTree
forEvery(State, Consumer) - Method in class edu.uky.cs.nil.sabre.etree.EventSet: Every event in this tree whose precondition is satisfied in a given state will be passed to the given consumer.
forEvery(State, Consumer) - Method in class edu.uky.cs.nil.sabre.etree.EventTree: Every event in this tree whose precondition is satisfied in a given state will be passed to the given consumer.
FormatException - Exception Class in edu.uky.cs.nil.sabre: A format exception is thrown when an object defined in a planning problem is constructed in an illegal way.
FormatException(String) - Constructor for exception class edu.uky.cs.nil.sabre.FormatException: Constructs a new format exception with a given message.
FormulaNode - Class in edu.uky.cs.nil.sabre.hg: An cost set node whose logical formula appears as a smaller part of some larger formula and which needs to notify the node representing that larger formula when its gains new values.
FormulaNode(HeuristicGraph, Logical) - Constructor for class edu.uky.cs.nil.sabre.hg.FormulaNode: Constructs a new formula node that belongs to a given graph and represents a given logical formula.
formulas - Variable in class edu.uky.cs.nil.sabre.hg.FormulaNode: Nodes that need to be notified when this node gains new values
Function(Variable, Expression) - Constructor for class edu.uky.cs.nil.sabre.Mapping.Function: Constructs a new function.

G

generate(Type) - Static method in class edu.uky.cs.nil.sabre.logic.Variable: Returns a variable of a given type whose name has never been used before in any logical formula.
generate(String, Type) - Static method in class edu.uky.cs.nil.sabre.logic.Variable: Returns a variable of a given type whose name is similar to a given name but has never been used before in any logical formula.
generated - Variable in class edu.uky.cs.nil.sabre.search.Result: The number of nodes generated during the search
get(int) - Method in class edu.uky.cs.nil.sabre.HeadPlan
get(int) - Method in class edu.uky.cs.nil.sabre.hg.List: Returns the list element at the given index.
get(int) - Method in class edu.uky.cs.nil.sabre.io.ParseTree: Returns the child parse tree at a given index.
get(int) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction: Returns the argument corresponding to a given index.
get(int) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction: Returns the argument corresponding to a given index.
get(int) - Method in interface edu.uky.cs.nil.sabre.Plan: Returns the action at a given index in this plan.
get(int) - Method in class edu.uky.cs.nil.sabre.SolutionGoal
get(int) - Method in class edu.uky.cs.nil.sabre.SolutionPlan
get(int) - Method in class edu.uky.cs.nil.sabre.TailPlan
get(int) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray: Returns the element at the given index in the array.
get(int) - Method in class edu.uky.cs.nil.sabre.util.ImmutableList: Returns the element at the given index in the list.
get(long) - Method in class edu.uky.cs.nil.sabre.util.BigArrayLong: Returns the long value stored at this index in the table.
get(Character) - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping: Returns a ground expression relevant to the given ground character.
get(Parameter) - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping: Returns a ground expression relevant to the given ground character.
get(Parameter) - Method in class edu.uky.cs.nil.sabre.Mapping.Function
get(Parameter) - Method in interface edu.uky.cs.nil.sabre.Mapping: Returns an expression relevant to the given character.
get(Parameter) - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
get(Worker.Getter) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Getter, printing a status update to standard output with default frequency until a value is returned or an exception is thrown.
get(Worker.Getter, int, TimeUnit) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Getter, printing a status update to standard output with a given frequency until a value is returned or an exception is thrown.
get(Worker.Getter, Worker.Status) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Getter, printing a status update from a given status to standard output with default frequency until a value is returned or an exception is thrown.
get(Worker.Getter, Worker.Status, int, TimeUnit) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Getter, printing a status update from a given status to standard output with a given frequency until a value is returned or an exception is thrown.
get(Worker.Status) - Method in class edu.uky.cs.nil.sabre.search.Search: Finds the next solution to this search's problem.
get(Worker.Status) - Method in interface edu.uky.cs.nil.sabre.util.Worker.Getter: This method runs for a long time and eventually returns a value.
get(Class) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Returns the most recently defined object of a given type if one exists.
get(Number) - Static method in class edu.uky.cs.nil.sabre.Number: Converts a Java Number to a value, interning it to ensure that there is only ever one number object with this value.
get(String) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Returns the most recently defined object with a given name if one exists.
get(String) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Returns the value immediately after a given key, or null if the key is not found.
get(String, Class) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Returns the most recently defined object with a given name and of a given type if one exists.
get(String, String) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Returns the value immediately after a given key, or a default value if the key is not found.
get(K) - Method in class edu.uky.cs.nil.sabre.util.UniqueMap: Returns the value mapped to a given unique key.
getAction() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the action associated with this node's search space node.
getAction(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the most recent action that occurred before the state represented by this node, or null if the node is an initial state node.
getAction(Action) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the action node associated with the given action.
getAction(Signature) - Method in class edu.uky.cs.nil.sabre.comp.CompiledProblem
getAction(Signature) - Method in class edu.uky.cs.nil.sabre.Problem: Returns an action defined in this problem based on the given signature.
getAction(Signature) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns an action defined in the current problem based on the given signature.
getAction(Long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
getAction(N) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Returns the action associated with the given node in the state space.
getActions() - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Returns a set of all compiled actions created so far.
getActions() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns a set of all currently defined actions.
getAfter(long, CompiledAction) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the node that results from taking a given action in a given state and then applying any relevant triggers.
getAfter(Action) - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns the state that would result from applying the effects of the given action to this state.
getAfter(Plan) - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns the state after taking each action in a plan, if the actions are possible.
getAfterTriggers() - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns the state after applying all triggers tracked by the graph to this state.
getAfterTriggers(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of the node that represents the state after applying any relevant triggers to the given node.
getAny(State) - Method in class edu.uky.cs.nil.sabre.etree.BranchingEventTree
getAny(State) - Method in class edu.uky.cs.nil.sabre.etree.EventSet: Returns the first event found in this tree whose precondition is satisfied in a given state.
getAny(State) - Method in class edu.uky.cs.nil.sabre.etree.EventTree: Returns the first event found in this tree whose precondition is satisfied in a given state.
getArithmetic(Arithmetic) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the arithmetic node associated with the given arithmetic expression.
getAuthorTemporalLimit() - Method in class edu.uky.cs.nil.sabre.search.Planner: Returns the author temporal limit for any searches created by this planner.
getAuthorTemporalLimit() - Method in class edu.uky.cs.nil.sabre.Session: Returns the current planner's author temporal limit setting.
getBefore(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of the node immediately before a given node (i.e. the state before the node's event).
getBeforeAction(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of the node immediately before the most recent non-dummy action (i.e. the state the most recent non-dummy action was taken in).
getBeliefs(long, Character) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of a node that represents the beliefs of an character in a given state.
getBeliefs(Character) - Method in interface edu.uky.cs.nil.sabre.FiniteState: Returns an character's beliefs as a FiniteState.
getBeliefs(Character) - Method in class edu.uky.cs.nil.sabre.graph.StateNode
getBeliefs(Character) - Method in class edu.uky.cs.nil.sabre.InitialState
getBest(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of a node that is the best (i.e. increases utility the most) known explained descendant of a given node.
getBoolean(String, boolean) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Like CommandLineArguments.get(String, String), but the value returned will be parsed as an boolean.
getBranch(int) - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Returns the branch at the given index.
getBranch(long, Character) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of a node's branch for a given character.
getBranch(Value) - Method in class edu.uky.cs.nil.sabre.etree.BooleanEventTree
getBranch(Value) - Method in class edu.uky.cs.nil.sabre.etree.BranchingEventTree
getBranch(Value) - Method in class edu.uky.cs.nil.sabre.etree.EntityEventTree
getBranch(Value) - Method in class edu.uky.cs.nil.sabre.etree.EventTree: Event trees branch based on the value of their expression in some state.
getBranch(Long, Character) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
getBranch(N, Character) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Returns the node that represents what a character believes will happen when taking an action.
getBranches(Expression) - Static method in class edu.uky.cs.nil.sabre.etree.EventTree: Returns a set of all possible values that a given expression could have.
getBuilder(Symbol) - Method in class edu.uky.cs.nil.sabre.io.Parser: Returns the builder that will be used to create objects from parse trees when parsing text as a given symbol.
getCharacter() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the character whose utility the search that produced this node was trying to improve when this node was generated.
getCharacter() - Method in interface edu.uky.cs.nil.sabre.Solution: Returns the character whose goal this solution will achieve or null if this solution is for the author's goal.
getCharacter() - Method in class edu.uky.cs.nil.sabre.SolutionGoal
getCharacter() - Method in class edu.uky.cs.nil.sabre.SolutionPlan
getCharacter(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the character associated with this node, or null if the node is associated with the author.
getCharacter(String) - Method in class edu.uky.cs.nil.sabre.Universe: Returns the character with a given name.
getCharacters() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the characters which have utility nodes represented in the graph.
getCharacterTemporalLimit() - Method in class edu.uky.cs.nil.sabre.search.Planner: Returns the character temporal limit for any searches created by this planner.
getCharacterTemporalLimit() - Method in class edu.uky.cs.nil.sabre.Session: Returns the current planner's character temporal limit setting.
getChild(long, CompiledEvent) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the node that results when a given event occurs in a given state.
getChild(Long, CompiledAction) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
getChild(N, CompiledAction) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Returns the node that would result from taking the given action in the state represented by the given node.
getChildren(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the number of child nodes that have been generated so far for a given node.
getClause(Clause) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the clause node associated with the given conjunctive clause.
getComment() - Method in class edu.uky.cs.nil.sabre.Action
getComment() - Method in interface edu.uky.cs.nil.sabre.Event: Returns the comment associated with the action from the problem definition.
getComment() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns the current comment associated with the problem.
getComment() - Method in class edu.uky.cs.nil.sabre.Trigger
getCompiledProblem() - Method in class edu.uky.cs.nil.sabre.Session: Returns the session's current compiled problem.
getCompleteBranches() - Method in class edu.uky.cs.nil.sabre.etree.EventTreeStatus: Returns the number of branches the event tree builder has finished building.
getCondition(int) - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Returns the condition at the given index, unless the index is for the last (implicitly true) condition, in which case true is returned.
getConstant(Value) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the constant node associated with the given logical value.
getCost() - Method in class edu.uky.cs.nil.sabre.hg.CostNode: Returns the cost of this node's logical formula being true; the cost is an estimate of the number of actions that need to be taken from the state the heuristic graph was initialized to before this logical formula can be true.
getCost() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Returns the factory that will be used to create the cost used by the searches this planner creates.
getCost() - Method in class edu.uky.cs.nil.sabre.Session: Returns the cost function used by a heuristic progression planner, if the current planner is that type.
getCost(int) - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode
getCost(int) - Method in class edu.uky.cs.nil.sabre.hg.ArrayRange
getCost(int) - Method in class edu.uky.cs.nil.sabre.hg.ConstantNode
getCost(int) - Method in interface edu.uky.cs.nil.sabre.hg.CostSet: Returns the cost of the value at a given index in the set.
getCost(int) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
getCost(int) - Method in class edu.uky.cs.nil.sabre.hg.NumericFluentNode
getCost(int) - Method in class edu.uky.cs.nil.sabre.hg.UtilityNode
getCost(CompiledProblem, Worker.Status) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionCostFactory: Creates a progression cost object to be used while solving the given problem.
getCost(CompiledProblem, Worker.Status) - Method in class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic.Factory
getCost(CompiledProblem, Worker.Status) - Method in class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic.Factory
getCost(CompiledProblem, Worker.Status) - Method in class edu.uky.cs.nil.sabre.prog.WeightedCost.Factory
getCost(Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode
getCost(Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.hg.ArrayRange
getCost(Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.hg.ConstantNode
getCost(Comparison.Operator, Value) - Method in interface edu.uky.cs.nil.sabre.hg.CostSet: Returns the cost of some value in this set satisfying the given comparison operator when it is on the left and a given value is on the right.
getCost(Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
getCost(Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.hg.NumericFluentNode
getCost(Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.hg.Span
getCost(Comparison.Operator, Value) - Method in class edu.uky.cs.nil.sabre.hg.UtilityNode
getCost(Value) - Method in class edu.uky.cs.nil.sabre.hg.ConstantNode
getCost(Value) - Method in interface edu.uky.cs.nil.sabre.hg.CostSet: Returns the cost associated with the given value, which is an estimate of the number of actions that need to be taken from the state a heuristic graph was initialized to before the logical expression this set represents can have the given value.
getCost(Value) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
getDefaultValue() - Method in class edu.uky.cs.nil.sabre.Type: Returns the default value that a fluent of this type will have when it has not been explicitly assigned a value.
getDefaultValue(Type) - Method in class edu.uky.cs.nil.sabre.Universe: Returns the default value that a fluent of the given type will have when it has not been explicitly assigned a value.
getDisjunction(Disjunction) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the disjunction node associated with the given disjunctive normal form expression.
getDouble(String, double) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Like CommandLineArguments.get(String, String), but the value returned will be parsed as a double.
getEffect() - Method in class edu.uky.cs.nil.sabre.Action
getEffect() - Method in class edu.uky.cs.nil.sabre.comp.CompiledAction
getEffect() - Method in interface edu.uky.cs.nil.sabre.comp.CompiledEvent
getEffect() - Method in class edu.uky.cs.nil.sabre.comp.CompiledTrigger
getEffect() - Method in interface edu.uky.cs.nil.sabre.Event: Returns a logical expression which becomes true as a result of the event occurring.
getEffect() - Method in class edu.uky.cs.nil.sabre.Trigger
getEffect(Fluent) - Method in class edu.uky.cs.nil.sabre.comp.CompiledAction
getEffect(Fluent) - Method in interface edu.uky.cs.nil.sabre.comp.CompiledEvent: Returns a clause composed of every effect in this event's effect that has the given fluent as its fluent.
getEffect(Effect) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the effect node associated with the given atomic effect.
getEntity(String) - Method in class edu.uky.cs.nil.sabre.Universe: Returns the entity with a given name.
getEpistemicChild(Character) - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns the epistemic edge that has this node as the parent and a given character as the label.
getEpistemicChildren() - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns a collection of all epistemic edges that have this node as the parent in the graph.
getEpistemicDepth() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the depth of nested theory of mind (what one character believes another character believes, and so on) at which this node was created.
getEpistemicLimit() - Method in class edu.uky.cs.nil.sabre.search.Planner: Returns the epistemic limit for any searches created by this planner.
getEpistemicLimit() - Method in class edu.uky.cs.nil.sabre.Session: Returns the current planner's epistemic limit setting.
getEpistemicParents() - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns a collection of all epistemic edges that have this node as the child in the graph.
getEvent(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the event that occurred immediately before the state represented by this node, or null if the node is an initial state node.
getEvent(Event) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the event node associated with the given event.
getEvent(Signature) - Method in class edu.uky.cs.nil.sabre.comp.CompiledProblem
getEvent(Signature) - Method in class edu.uky.cs.nil.sabre.Problem: Returns an event defined in this problem based on the given signature.
getEvent(Signature) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns an event defined in the current problem based on the given signature.
getEvery(State) - Method in class edu.uky.cs.nil.sabre.etree.BranchingEventTree
getEvery(State) - Method in class edu.uky.cs.nil.sabre.etree.EventSet: Returns a collection of every event in this tree whose precondition is satisfied in a given state.
getEvery(State) - Method in class edu.uky.cs.nil.sabre.etree.EventTree: Returns a collection of every event in this tree whose precondition is satisfied in a given state.
getExplanation(int, Character) - Method in interface edu.uky.cs.nil.sabre.Solution: Returns a solution explaining how the action with the given index will contribute to increasing the given character's utility.
getExplanation(int, Character) - Method in class edu.uky.cs.nil.sabre.SolutionGoal
getExplanation(int, Character) - Method in class edu.uky.cs.nil.sabre.SolutionPlan
getExplanation(long, Character) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of a node representing the explanation of the most recent action for a given character.
getExplanation(Character) - Method in interface edu.uky.cs.nil.sabre.Solution: Returns an explanation for the first action in this solution for the given character.
getExplanationDepth() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the number of actions that have been taken since the explanation this node is part of began.
getExplanationPruning() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Indicates whether explanation pruning will be used in the searches this planner creates.
getExplanationPruning() - Method in class edu.uky.cs.nil.sabre.Session: Returns the explanation pruning setting used by a heuristic progression planner, if the current planner is that type.
getFile(String) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Like CommandLineArguments.get(String, String), but the value returned will be parsed as a File.
getFluent(Fluent) - Method in class edu.uky.cs.nil.sabre.comp.CompiledProblem: Returns a compiled fluent defined in this problem based on a given fluent, which does not need to be compiled and does not need to be from this problem.
getFluent(Fluent) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the fluent node associated with the given fluent.
getFluent(Signature) - Method in class edu.uky.cs.nil.sabre.comp.CompiledProblem
getFluent(Signature) - Method in class edu.uky.cs.nil.sabre.Problem: Returns a fluent defined in this problem based on the given signature.
getFluent(Signature) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns a fluent defined in the current problem based on the given signature.
getFluents() - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Returns a set of all compiled fluents created so far.
getFluents() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns a set of all currently defined fluents.
getGenerated() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
getGenerated() - Method in class edu.uky.cs.nil.sabre.search.Progress: Returns the number of nodes generated during this search.
getGenerated() - Method in class edu.uky.cs.nil.sabre.search.Search: Returns the total number of nodes generated during all calls to Search.get(Status) since the last time this search was reset using the Search.setStart(State) method.
getGoal() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
getGoal() - Method in class edu.uky.cs.nil.sabre.search.Search: Returns the author utility value that a solution plan must reach or exceed to be considered a solution by this search.
getGoal() - Method in class edu.uky.cs.nil.sabre.Session: Returns the current goal, the author utility that a plan must achieve to be considered a solution.
getGoal() - Method in interface edu.uky.cs.nil.sabre.Solution: Returns the goal this solution will achieve.
getGoal() - Method in class edu.uky.cs.nil.sabre.SolutionGoal
getGoal() - Method in class edu.uky.cs.nil.sabre.SolutionPlan
getGoal(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns a clause from the best known descendant of a given node that is sufficient to ensure the utility expression of the character associated with the node evaluates to their utility in that state.
getGroup(Value) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode: Returns the value group for a given value.
getHeuristic() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Returns the factory that will be used to create the heuristic used by the searches this planner creates.
getHeuristic() - Method in class edu.uky.cs.nil.sabre.Session: Returns the heuristic function used by a heuristic progression planner, if the current planner is that type.
getHistory(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace: Returns all actions that have occurred since the initial state, including any dummy belief update actions.
getID() - Method in class edu.uky.cs.nil.sabre.comp.CompiledAction
getID() - Method in interface edu.uky.cs.nil.sabre.comp.CompiledEvent: Returns the event's unique ID number, which should correspond to this event's index in its compiled problem's set of events.
getID() - Method in class edu.uky.cs.nil.sabre.comp.CompiledTrigger
getInitialState() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns a logical expression used to set the initial state, which should define the values of all fluents in a problem, including any character beliefs that do not match the true world state.
getInstruction(String, String) - Method in class edu.uky.cs.nil.sabre.io.Tokenizer: A tokenizer maintains two strings: the current token being built and a buffer.
getInt(String, int) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Like CommandLineArguments.get(String, String), but the value returned will be parsed as an int.
getIntersection(Type) - Method in class edu.uky.cs.nil.sabre.Type: Returns a set of all values that are of both this type and of the given type in the type's universe.
getIntersection(Type, Type) - Method in class edu.uky.cs.nil.sabre.Universe: Returns a set of values which are of both given types.
getIrrelevantEvents(Expression) - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Returns a new map of events from this builder whose preconditions do not contain the given expressions.
getLastChild(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of the most recently generated child node of a given node.
getLastTrunk(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of a node's most recently generated trunk.
getLevels() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns an array of all finite costs that appear anywhere in the graph (that is, the cost of any cost nodes with a finite cost and the costs of any cost sets that have values with finite costs).
getLong(String, long) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Like CommandLineArguments.get(String, String), but the value returned will be parsed as a long.
getMessage() - Method in exception class edu.uky.cs.nil.sabre.io.ParseException
getMessage() - Method in class edu.uky.cs.nil.sabre.search.Progress: Returns a brief message that explains the final result of the search.
getMethod() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Returns the search method that this planner will used to solve problems.
getMethod() - Method in class edu.uky.cs.nil.sabre.Session: Returns the search method used by a heuristic progression planner, if the current planner is that type.
getName() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns the current problem name.
getNextSolution() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Returns the next solution in the space that has not yet been returned.
getNextSolution() - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: If any new solutions to the problem being modeled by this tree have been generated, this method returns the node ID of the a solution.
getNextSolution() - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
getNode() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the node from the search space that this progression node is referring to.
getNode(Logical) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the heuristic graph node associated with the given logical expression.
getNominalFluent(Fluent) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the fluent node associated with the given nominal fluent (that is, any fluent which not numeric).
getNumericFluent(Fluent) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the fluent node associated with the given numeric fluent.
getOption(String, String...) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Returns the value immediately after a given key, provided that value is one of a pre-defined list of possible options.
getParents(Long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
getParents(N) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Returns a collection of nodes from this state space that represent states that may have come before the given node.
getParser() - Method in class edu.uky.cs.nil.sabre.Session: Returns the session's current parser, which is used to read problems, logical formulas, and other inputs.
getPlan() - Method in class edu.uky.cs.nil.sabre.Session: Returns the author's plan (that is, just the actions the author intends) from the session's current result.
getPlan(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the sequence of actions that have occurred since the root that led to the state represented by a given node.
getPlan(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace: Returns all actions that have occurred between the the last dummy belief update action (or since the initial state if no dummy actions have occurred) and the given node.
getPlan(long, long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the sequence of actions that have occurred between the given start and end nodes.
getPlan(Character) - Method in class edu.uky.cs.nil.sabre.Session: Returns the current plan for a given character from the session's current result.
getPlanLength() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the number of actions that have been taken in the plan leading to this node.
getPlanner() - Method in class edu.uky.cs.nil.sabre.Session: Returns the session's current planner.
getPrecondition() - Method in class edu.uky.cs.nil.sabre.Action
getPrecondition() - Method in class edu.uky.cs.nil.sabre.comp.CompiledAction
getPrecondition() - Method in interface edu.uky.cs.nil.sabre.comp.CompiledEvent
getPrecondition() - Method in class edu.uky.cs.nil.sabre.comp.CompiledTrigger
getPrecondition() - Method in interface edu.uky.cs.nil.sabre.Event: Returns a logical expression which must evaluate to true before the event can occur.
getPrecondition() - Method in class edu.uky.cs.nil.sabre.Trigger
getPrecondition(Precondition) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the precondition nodes associated with the given atomic precondition.
getPreviousSibling(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of the child node of this node's parent that was generated immediately before the given node.
getPreviousTrunk(long, Character) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of the trunk node for the same character's branch that was generated immediately before the given node.
getPrinter() - Method in class edu.uky.cs.nil.sabre.Session: Returns the session's current printer, which is used to convert plans and other outputs into text.
getPrinter(Class) - Method in class edu.uky.cs.nil.sabre.io.Printer: Finds the object printer associated with the given Java class, or if there is no association for that class, the object printer associated with the class's superclass or one of its interfaces (and their superclasses and interfaces, and so on).
getProblem() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the problem the search that generated this node is solving.
getProblem() - Method in class edu.uky.cs.nil.sabre.Session: Returns the session's current Problem problem that the planner will solve.
getRelaxedPlan() - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Returns a plan that is a solution to the relaxed problem.
getRelevantEvents(Expression, Value) - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Returns a new map of events from this builder which has preconditions that contain the given expression.
getRemaining() - Method in class edu.uky.cs.nil.sabre.util.MemoryBudget: Returns the number of bytes remaining in this budget, or Long.MAX_VALUE if this budget is unlimited.
getResult() - Method in class edu.uky.cs.nil.sabre.Session: Returns the result of the most recent run of the session's current search.
getRoot() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the root from which this node is a temporal descendant, which is a search space node that represents where the search that generated this node started.
getRoot(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of a node's root, which is found by going back into the past until the initial state is reached or an unforeseen update was made to the state via a dummy action.
getRule(NonTerminal) - Method in class edu.uky.cs.nil.sabre.io.Parser: Returns the pattern the parser will try to match tokens against when parsing text as a given non-terminal symbol.
getSatisfiedEvents() - Method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Returns all events in this builder whose preconditions are true as a set.
getSearch() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the search that generated this node.
getSearch() - Method in class edu.uky.cs.nil.sabre.Session: Returns the session's current search, which was created by the session's planner for the session's problem.
getSearch(Problem, Worker.Status) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner
getSearch(Problem, Worker.Status) - Method in class edu.uky.cs.nil.sabre.search.Planner: This is the main factory method of a planner which takes as input a planning problem and returns a search object for that problem which is configured based on this planner's current settings.
getSearchLimit() - Method in class edu.uky.cs.nil.sabre.search.Planner: Returns the maximum number of nodes that a search may visit when searching for a solution.
getSearchLimit() - Method in class edu.uky.cs.nil.sabre.Session: Returns the current planner's search limit setting.
getSignature() - Method in class edu.uky.cs.nil.sabre.Action
getSignature() - Method in class edu.uky.cs.nil.sabre.Fluent
getSignature() - Method in interface edu.uky.cs.nil.sabre.Signed: Returns the object's signature.
getSignature() - Method in class edu.uky.cs.nil.sabre.Trigger
getSolution() - Method in class edu.uky.cs.nil.sabre.search.Progress: Returns the best solution reported to Progress.setSolution(Solution, Number) so far or null if no solutions have been reported.
getSolution() - Method in class edu.uky.cs.nil.sabre.Session: Returns the solution from the session's current result.
getSolution(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns a solution plan that starts at a given node and ends at the best known descendant that improves the utility of the character associated with the node.
getSolution(long, long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns a solution plan that starts at a given node and passes through a second given node on the way to a descendant that most improves the the utility of the character associated with the nodes.
getSpace() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the search space the search that generated this node is using.
getSpaceLimit() - Method in class edu.uky.cs.nil.sabre.search.Planner: Returns the maximum number of nodes that a search may generate while searching for a solution.
getSpaceLimit() - Method in class edu.uky.cs.nil.sabre.Session: Returns the current planner's space limit setting.
getStart() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
getStart() - Method in class edu.uky.cs.nil.sabre.search.Search: Returns the initial state of the world from which a solution plan must be executable.
getState() - Method in class edu.uky.cs.nil.sabre.Session: Returns the state in which planning will start.
getStatus() - Method in class edu.uky.cs.nil.sabre.Session: Returns the session's current status object, to which updates are written when the session is modified, when a problem is being compiled, when the search is running, and during other time-consuming operations.
getSuccess() - Method in class edu.uky.cs.nil.sabre.search.Result: Indicates whether or not this result represents success in solving the problem; success means a solution was found that the utility it achieved is greater than or equal to the search's goal.
getSuccess() - Method in class edu.uky.cs.nil.sabre.Session: Indicates whether or not the most recent search succeeded in finding a plan that meets or exceeds the author's goal utility.
getSymbol(Object) - Method in class edu.uky.cs.nil.sabre.io.Parser: Converts an object into a symbol that can be used to define parsing rules.
getTemporalChild(Event) - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns a temporal edge that has this node as its parent and a given event as its label, if one exists in the graph.
getTemporalChildren() - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns a collection of all temporal edges in the graph that have this node as their parent.
getTemporalDepth() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the number of actions that have been taken since the initial state, regardless of this node's epistemic depth.
getTemporalParents() - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns a collection of all temporal edges that have this node as the child in the graph.
getTime() - Method in class edu.uky.cs.nil.sabre.search.Progress: Returns the number of milliseconds elapsed during this search.
getTimeLimit() - Method in class edu.uky.cs.nil.sabre.search.Planner: Returns the maximum number of milliseconds which may elapse while searching for a solution.
getTimeLimit() - Method in class edu.uky.cs.nil.sabre.Session: Returns the current planner's time limit setting.
getTokenizer() - Method in class edu.uky.cs.nil.sabre.io.Parser: Returns this parser's tokenizer.
getTotalBranches() - Method in class edu.uky.cs.nil.sabre.etree.EventTreeStatus: Returns the number of branches the event tree builder has started building (including branches which have finished building).
getTree() - Method in class edu.uky.cs.nil.sabre.etree.EventSet: Returns the event tree built from this set of events, or null if the tree has not yet been built.
getTrigger(Signature) - Method in class edu.uky.cs.nil.sabre.comp.CompiledProblem
getTrigger(Signature) - Method in class edu.uky.cs.nil.sabre.Problem: Returns a trigger defined in this problem based on the given signature.
getTrigger(Signature) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns a trigger defined in the current problem based on the given signature.
getTrigger(Trigger) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the trigger node associated with the given trigger.
getTriggers() - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Returns a set of all compiled triggers created so far.
getTriggers() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns a set of all currently defined triggers.
getTrunk() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns this node's trunk, which is a search space node that represents the original action that was being explained when the search generated this node.
getType(String) - Method in class edu.uky.cs.nil.sabre.Universe: Returns the type with a given name.
getUniverse() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns the universe of types and entities being used in the current problem.
getUniverse() - Method in class edu.uky.cs.nil.sabre.UniverseBuilder: Returns the currently defined universe.
getUtilities() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns a mapping representing the utility functions of all characters in the universe.
getUtility() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the utility node representing the author's utility if it has been defined.
getUtility() - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns the currently defined author utility function.
getUtility() - Method in class edu.uky.cs.nil.sabre.search.Progress: Returns the author utility achieved by the best solution reported to Progress.setSolution(Solution, Number) so far or null if no solutions have been reported.
getUtility(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the utility of the character associated with a given node, or the author's utility if the node is associated with the author.
getUtility(Character) - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Returns the utility value of the given character in the state represented by this node, where utility is a numeric representation of how satisfied the character is with the current state.
getUtility(Character) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Returns the utility node representing an character's utility if it has been defined.
getUtility(Character) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Returns the currently defined utility function for a given character.
getUtility(Character) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns the utility of a given character (or the author, if the character is null) in the state represented by this progression node's search space node.
getUtility(Character, State) - Method in class edu.uky.cs.nil.sabre.Problem: Returns the value of a character's utility expression in a given state.
getUtility(State) - Method in class edu.uky.cs.nil.sabre.Problem: Returns the value of the author utility expression in a given state.
getValue(int) - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode
getValue(int) - Method in class edu.uky.cs.nil.sabre.hg.ArrayRange
getValue(int) - Method in class edu.uky.cs.nil.sabre.hg.ConstantNode
getValue(int) - Method in interface edu.uky.cs.nil.sabre.hg.CostSet: Returns the value at a given index in the set.
getValue(int) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
getValue(int) - Method in class edu.uky.cs.nil.sabre.hg.NumericFluentNode
getValue(int) - Method in class edu.uky.cs.nil.sabre.hg.UtilityNode
getValue(long, CompiledFluent) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the value of a compiled fluent in a given state.
getValue(long, Arithmetic) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the value an arithmetic expression would have when evaluated in a given state.
getValue(long, Clause) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the value a clause would have when evaluated in a given state.
getValue(long, Conditional) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the value a conditional expression whose conditions are in disjunctive normal form would have when evaluated in a given state.
getValue(long, Disjunction) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the value a logical expression in disjunctive normal form would have when evaluated in a given state.
getValue(long, Expression) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the value a logical expression would have when evaluated in a given state.
getValue(long, Precondition) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the value an atomic precondition would have when evaluated in a given state.
getValue(Fluent) - Method in class edu.uky.cs.nil.sabre.Beliefs
getValue(Fluent) - Method in class edu.uky.cs.nil.sabre.graph.StateNode
getValue(Fluent) - Method in class edu.uky.cs.nil.sabre.InitialState
getValue(Fluent) - Method in interface edu.uky.cs.nil.sabre.State: Returns the value assigned to a fluent in the current state.
getValue(Long, CompiledFluent) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
getValue(N, CompiledFluent) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Returns the value of a fluent in the state represented by a node in the state space.
getValues() - Method in class edu.uky.cs.nil.sabre.Type: Returns a set of all values that are of this type in the type's universe.
getValues(Type) - Method in class edu.uky.cs.nil.sabre.Universe: Returns a set of all values that are of the given type.
getVisited() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
getVisited() - Method in class edu.uky.cs.nil.sabre.search.Progress: Returns the number of nodes visited during this search.
getVisited() - Method in class edu.uky.cs.nil.sabre.search.Search: Returns the total number of nodes visited during all calls to Search.get(Status) since the last time this search was reset using the Search.setStart(State) method.
getWorst(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the ID number of a node that is the worst (i.e. decreases utility the most) known explained descendant of a given node.
goal - Variable in class edu.uky.cs.nil.sabre.search.Result: The author utility that a solution would need to meet or exceed
goal - Variable in class edu.uky.cs.nil.sabre.Session: The session's goal setting
goal - Variable in class edu.uky.cs.nil.sabre.SolutionGoal: A condition which, when satisfied, should lead to increased utility for the character
GOAL - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's Search.getGoal() setting
GOAL_FIRST - Enum constant in enum class edu.uky.cs.nil.sabre.prog.ProgressionPlanner.Method: A* search that requires every action to be explained for the node's character before it is explained for other characters
GOAL_FIRST_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for goal-first search
GOAL_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the goal utility
GOAL_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword used to signify a goal has been achieved
GoalFirstSearch - Class in edu.uky.cs.nil.sabre.prog: Goal-first search is a type of progression search that requires a plan to achieve its goal before attempting to explain its actions.
GoalFirstSearch(CompiledProblem, ProgressionCost, ProgressionCost, EventTree, ProgressionSpace, long, long, long, int, int, int, boolean) - Constructor for class edu.uky.cs.nil.sabre.prog.GoalFirstSearch: Constructs a new goal-first progression search.
GoalNode - Class in edu.uky.cs.nil.sabre.hg: A goal node represents one branch of a conditional utility node expression.
GoalNode(UtilityNode, Conditional) - Constructor for class edu.uky.cs.nil.sabre.hg.GoalNode: Constructs a new goal node that represents a given branch of a utility node's expression.
goals - Variable in class edu.uky.cs.nil.sabre.hg.UtilityNode: A list of goal nodes that correspond to the branches of the conditional utility expression and which can cause this node to have different values
graph - Variable in class edu.uky.cs.nil.sabre.graph.StateNode: The state graph to which this node belongs
graph - Variable in class edu.uky.cs.nil.sabre.hg.Node: The heuristic graph this node belong to
graph - Variable in class edu.uky.cs.nil.sabre.prog.GraphHeuristic: The heuristic graph used by this cost function
graph - Variable in class edu.uky.cs.nil.sabre.prog.GraphHeuristic.MaxGraphHeuristic: The max heuristic graph used by this cost function
graph - Variable in class edu.uky.cs.nil.sabre.prog.GraphHeuristic.SumGraphHeuristic: The sum heuristic graph used by this cost function
GraphHeuristic - Class in edu.uky.cs.nil.sabre.prog: A cost function, meant to be used as a heuristic in a heuristic progression search, which uses a heuristic graph to estimate how many more actions would need to be taken in some state before a character's utility can be improved.
GraphHeuristic(HeuristicGraph) - Constructor for class edu.uky.cs.nil.sabre.prog.GraphHeuristic: Constructs a new heuristic graph cost function.
GraphHeuristic.AdmissibleMaxGraphHeuristic - Class in edu.uky.cs.nil.sabre.prog: A max graph heuristic that calculates an admissible lower bound on the cost of raising the node's character's utility.
GraphHeuristic.MaxGraphHeuristic - Class in edu.uky.cs.nil.sabre.prog: A progression cost function that uses a max heuristic graph.
GraphHeuristic.SumGraphHeuristic - Class in edu.uky.cs.nil.sabre.prog: A progression cost function that uses a sum heuristic graph.
GREATER_THAN - Static variable in class edu.uky.cs.nil.sabre.logic.Comparison: Represents a Comparison where the left is greater than the right.
GREATER_THAN_COMPARISON - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a greater than comparison
GREATER_THAN_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for greater than comparison
GREATER_THAN_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the greater than comparison operator
GREATER_THAN_OR_EQUAL_TO - Static variable in class edu.uky.cs.nil.sabre.logic.Comparison: Represents a Comparison where the left is greater than or equal to the right.
GREATER_THAN_OR_EQUAL_TO_COMPARISON - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a greater than or equal to comparison
GREATER_THAN_OR_EQUAL_TO_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for greater than or equal to comparison
GREATER_THAN_OR_EQUAL_TO_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the greater than or equal to comparison operator
GREATER_THAN_OR_EQUAL_TO_PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a greater than or equal to precondition
GREATER_THAN_PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a greater than precondition
Grounder - Class in edu.uky.cs.nil.sabre.comp: Replaces all templates in a problem, such as fluents and events, with Logical.isGround() instances, such as ground fluents and ground events.
groups - Variable in class edu.uky.cs.nil.sabre.hg.NominalFluentNode: An array of value groups, indexed by the hash code of the group's value

H

hashCode() - Method in class edu.uky.cs.nil.sabre.Action
hashCode() - Method in class edu.uky.cs.nil.sabre.Beliefs
hashCode() - Method in class edu.uky.cs.nil.sabre.comp.CompiledAction
hashCode() - Method in class edu.uky.cs.nil.sabre.comp.CompiledFluent
hashCode() - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
hashCode() - Method in class edu.uky.cs.nil.sabre.comp.CompiledTrigger
hashCode() - Method in class edu.uky.cs.nil.sabre.Entity
hashCode() - Method in class edu.uky.cs.nil.sabre.Fluent
hashCode() - Method in class edu.uky.cs.nil.sabre.graph.StateNode
hashCode() - Method in class edu.uky.cs.nil.sabre.HeadPlan
hashCode() - Method in class edu.uky.cs.nil.sabre.hg.CostSet.Entry
hashCode() - Method in class edu.uky.cs.nil.sabre.hg.Node
hashCode() - Method in class edu.uky.cs.nil.sabre.InitialState
hashCode() - Method in class edu.uky.cs.nil.sabre.io.Keyword
hashCode() - Method in class edu.uky.cs.nil.sabre.io.NonTerminal
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Assignment
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Comparison
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Conditional
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Effect
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.False
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Negation
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Quantified
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.True
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Unknown
hashCode() - Method in class edu.uky.cs.nil.sabre.logic.Variable
hashCode() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
hashCode() - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
hashCode() - Method in class edu.uky.cs.nil.sabre.Number
hashCode() - Method in class edu.uky.cs.nil.sabre.Signature
hashCode() - Method in class edu.uky.cs.nil.sabre.SolutionGoal
hashCode() - Method in class edu.uky.cs.nil.sabre.SolutionPlan
hashCode() - Method in class edu.uky.cs.nil.sabre.TailPlan
hashCode() - Method in class edu.uky.cs.nil.sabre.Trigger
hashCode() - Method in class edu.uky.cs.nil.sabre.Type
hashCode() - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray
hashCode() - Method in class edu.uky.cs.nil.sabre.util.ImmutableList
hashCode() - Method in interface edu.uky.cs.nil.sabre.util.Unique
hashCode() - Method in class edu.uky.cs.nil.sabre.util.UniqueMap
hashCode(int, int) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines two hash code values.
hashCode(int, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines a hash code value with the hash code of an object.
hashCode(int, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines a hash code value with the hash code of two objects.
hashCode(int, Object, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines a hash code value with the hash code of three objects.
hashCode(int, Object, Object, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines a hash code value with the hash code of four objects.
hashCode(int, Object, Object, Object, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines a hash code value with the hash code of five objects.
hashCode(Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Returns an object's hash code or 0 if the object is null.
hashCode(Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines the hash code values of two objects.
hashCode(Object, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines the hash code values of three objects.
hashCode(Object, Object, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines the hash code values of four objects.
hashCode(Object, Object, Object, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines the hash code values of five objects.
hashCode(Object, Object, Object, Object, Object, Object) - Static method in class edu.uky.cs.nil.sabre.Utilities: Combines the hash code values of six objects.
HashSubstitution - Class in edu.uky.cs.nil.sabre.logic: An implementation of the substitution interface backed by a hash map.
HashSubstitution() - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new empty hash substitution.
HashSubstitution(Substitution) - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new hash substitution that builds on a given existing substitution.
HashSubstitution(Iterable, Iterable) - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new hash substitution initialized with the given mappings.
HashSubstitution(Iterable, Iterable, Substitution) - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new hash substitution initialized with the given mappings and which will build on a given existing substitution.
HashSubstitution(Object[], Object[]) - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new hash substitution initialized with the given mappings.
HashSubstitution(Object[], Object[], Substitution) - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new hash substitution initialized with the given mappings and which will build on a given existing substitution.
HashSubstitution(Object, Object) - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new hash substitution initialized with a given mapping.
HashSubstitution(Object, Object, Substitution) - Constructor for class edu.uky.cs.nil.sabre.logic.HashSubstitution: Constructs a new hash substitution initialized with a given mapping and which will build on a given existing substitution.
hasNext() - Method in class edu.uky.cs.nil.sabre.graph.EdgeIterator
hasNext() - Method in class edu.uky.cs.nil.sabre.Solution.SolutionIterator
hasNext() - Method in class edu.uky.cs.nil.sabre.util.ArrayIterator
hasNext() - Method in class edu.uky.cs.nil.sabre.util.ListIterator
HEAD_PLAN - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a plan where actions are prepended onto the beginning
HeadPlan<A> - Class in edu.uky.cs.nil.sabre: A plan which is built by prepending actions on to the beginning.
HELP_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the usage message
heuristic - Variable in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: A function to estimate the cost to complete a plan
HEURISTIC - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the heuristic progression planner's heuristic function
HEURISTIC_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the heuristic function
HEURISTIC_WEIGHT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the weight to apply to the heuristic function
HeuristicGraph - Class in edu.uky.cs.nil.sabre.hg: A heuristic graph is a data structure that represents the relationships between propositions and events in a ground problem to enable various kinds of analysis.
HeuristicGraph(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Constructs a heuristic graph which contains nodes for every fluent, event, and utility in a given problem.
HeuristicGraph(Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Constructs a heuristic graph which contains only the nodes representing false, true, and the empty clause.

I

id - Variable in class edu.uky.cs.nil.sabre.comp.CompiledAction: A unique ID number that corresponds to this action's index in its compiled problem's set of events
id - Variable in class edu.uky.cs.nil.sabre.comp.CompiledFluent: A unique ID number that corresponds to this fluent's index in its compiled problem's set of fluents
id - Variable in class edu.uky.cs.nil.sabre.comp.CompiledTrigger: A unique ID number that corresponds to this trigger's index in its compiled problem's set of events
id - Variable in class edu.uky.cs.nil.sabre.Entity: The unique sequential ID number of this entity in its universe
id - Variable in class edu.uky.cs.nil.sabre.graph.StateNode: A unique, sequential ID number for this node in the graph
id - Variable in class edu.uky.cs.nil.sabre.Type: The unique sequential ID number of this type in its universe
identity - Variable in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion.Operator: The number to be returned if the series contains zero numeric expressions
ignore(String) - Method in class edu.uky.cs.nil.sabre.io.Tokenizer: Checks whether a token should be ignored.
illegalEffect(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when an effect is a contradiction, such as when a fluent is assigned two different values in the same effect.
ImmutableArray<T> - Class in edu.uky.cs.nil.sabre.util: A wrapper around a Java array that makes it read-only and provides some additional helpful methods.
ImmutableArray(Iterable) - Constructor for class edu.uky.cs.nil.sabre.util.ImmutableArray: Constructs a new immutable array from an Iterable.
ImmutableArray(T...) - Constructor for class edu.uky.cs.nil.sabre.util.ImmutableArray: Constructs a new immutable array from a given Java array.
ImmutableList<T> - Class in edu.uky.cs.nil.sabre.util: A singly-linked list whose structure cannot be modified.
ImmutableSet<T> - Class in edu.uky.cs.nil.sabre.util: An ImmutableArray which contains no duplicates.
ImmutableSet(ImmutableSet) - Constructor for class edu.uky.cs.nil.sabre.util.ImmutableSet: Constructs a new immutable set by reusing the underlying array of an existing immutable set.
ImmutableSet(Iterable) - Constructor for class edu.uky.cs.nil.sabre.util.ImmutableSet: Constructs a new immutable set from an Iterable.
ImmutableSet(T...) - Constructor for class edu.uky.cs.nil.sabre.util.ImmutableSet: Constructs a new immutable set from a given Java array, removing any duplicates found in the array.
incrementCompleteBranches() - Method in class edu.uky.cs.nil.sabre.etree.EventTreeStatus: Increments the number of branches the event tree builder has finished building by one.
incrementTotalBranches() - Method in class edu.uky.cs.nil.sabre.etree.EventTreeStatus: Increments the number of branches the event tree builder has started building by one.
indexOf(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray: Returns the index of the first element in the array that is equal to to given object.
indexOutOfBounds(int) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown any time an index in a list, array, etc. is accessed which does not exist.
InfiniteSpan - Class in edu.uky.cs.nil.sabre.hg: A span of numeric values (and their associated costs) which automatically expands to include the value positive infinity any time its upper bound increases and automatically expands to include the value negative infinity any time its lower bound decreases.
InfiniteSpan() - Constructor for class edu.uky.cs.nil.sabre.hg.InfiniteSpan: Constructs a new infinite span.
infiniteValues() - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when requesting a list of all values of type number, which is infinitely many values.
INHERITANCE_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for expressing a type inheritance relationship
initial - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: A clause representing the initial state
initial - Variable in class edu.uky.cs.nil.sabre.Problem: A logical expression representing the initial state
INITIAL_STATE_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a proposition that holds in a problem's initial state
initialize(ProgressionNode) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionCost: This method is called once each time a progression heuristic search is initialized with a new start state; it is used to initialize or reset this cost function before it is used for a search.
initialize(ProgressionNode) - Method in class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic
initialize(State) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Resets all nodes in the graph and then initializes all fluent nodes by setting the cost of the value that fluent has in the given state to 0.
initialize(State) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Reset and initializes the state space to begin at a given initial state.
initialize(State) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Initializes this state space by specifying the initial state that will form the root (node ID 0) of the tree; all other data will be erased.
initialize(State) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
InitialState - Class in edu.uky.cs.nil.sabre: An initial state is a finite state which uses a logical expression to explicitly set the values of some fluents and then assumes default values for all other fluents.
InitialState(Expression) - Constructor for class edu.uky.cs.nil.sabre.InitialState: Constructs a new initial state from a logical expression.
intersection(ImmutableSet) - Method in class edu.uky.cs.nil.sabre.util.ImmutableSet: Returns a new set containing only elements which appear in both this set and in a given second set.
intersects(Type) - Method in class edu.uky.cs.nil.sabre.Type: Tests whether there are any values of both this type and the given type defined in the type's universe.
intersects(Type, Type) - Method in class edu.uky.cs.nil.sabre.Universe: Tests whether any values exist which are of both types.
irrelevant - Variable in class edu.uky.cs.nil.sabre.etree.BranchingEventTree: Events which do not have this tree's expression in their precondition
is(Entity, Type) - Method in class edu.uky.cs.nil.sabre.Universe: Tests whether an entity is of a given type.
is(Symbol) - Method in class edu.uky.cs.nil.sabre.io.ParseTree: Returns true if this tree represents parsing an object described by a given symbol.
is(Type) - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
is(Type) - Method in class edu.uky.cs.nil.sabre.Entity
is(Type) - Method in class edu.uky.cs.nil.sabre.Fluent
is(Type) - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Tests whether every branch of this conditional is of a given type.
is(Type) - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
is(Type) - Method in interface edu.uky.cs.nil.sabre.logic.Numeric
is(Type) - Method in interface edu.uky.cs.nil.sabre.logic.Proposition
is(Type) - Method in interface edu.uky.cs.nil.sabre.logic.Typed: Tests whether this formula is of a given type.
is(Type) - Method in class edu.uky.cs.nil.sabre.logic.Unknown
is(Type) - Method in class edu.uky.cs.nil.sabre.logic.Variable
is(Type) - Method in class edu.uky.cs.nil.sabre.Mapping.Function
is(Type) - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
is(Type) - Method in class edu.uky.cs.nil.sabre.Type
is(Type, Type) - Method in class edu.uky.cs.nil.sabre.Universe: Tests whether one type is a subtype of another.
isAuthorAction() - Method in class edu.uky.cs.nil.sabre.graph.TemporalEdge: Tests whether this edge represents an action with no consenting characters (in other words, an action that only the author needs a reason to take).
isBoolean() - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
isBoolean() - Method in class edu.uky.cs.nil.sabre.Entity
isBoolean() - Method in class edu.uky.cs.nil.sabre.Fluent
isBoolean() - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Tests whether every branch of this conditional is of type boolean.
isBoolean() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
isBoolean() - Method in interface edu.uky.cs.nil.sabre.logic.Numeric
isBoolean() - Method in interface edu.uky.cs.nil.sabre.logic.Proposition
isBoolean() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: Tests whether this formula is of type boolean.
isBoolean() - Method in class edu.uky.cs.nil.sabre.logic.Unknown
isBoolean() - Method in class edu.uky.cs.nil.sabre.logic.Variable
isBoolean() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
isBoolean() - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
isBoolean() - Method in class edu.uky.cs.nil.sabre.Type
isCharacter() - Method in class edu.uky.cs.nil.sabre.Character
isCharacter() - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
isCharacter() - Method in class edu.uky.cs.nil.sabre.Entity
isCharacter() - Method in class edu.uky.cs.nil.sabre.Fluent
isCharacter() - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Tests whether every branch of this conditional is of type character.
isCharacter() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
isCharacter() - Method in interface edu.uky.cs.nil.sabre.logic.Numeric
isCharacter() - Method in interface edu.uky.cs.nil.sabre.logic.Proposition
isCharacter() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: Tests whether this formula is of type character.
isCharacter() - Method in class edu.uky.cs.nil.sabre.logic.Unknown
isCharacter() - Method in class edu.uky.cs.nil.sabre.logic.Variable
isCharacter() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
isCharacter() - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
isCharacter() - Method in class edu.uky.cs.nil.sabre.Type
isComment(String) - Method in class edu.uky.cs.nil.sabre.io.Tokenizer: Checks whether a string is formatted as a comment.
isDone() - Method in class edu.uky.cs.nil.sabre.search.Progress: Checks whether a search is finished, either because a solution was found or because the search exceeded some limit, such as the number of nodes visited or amount of time allowed.
isDummyAction() - Method in class edu.uky.cs.nil.sabre.graph.TemporalEdge: Tests whether this edge represents a dummy action, which includes the null action and any action whose precondition is false.
isEffect() - Method in class edu.uky.cs.nil.sabre.logic.Clause: Tests whether every atom is an effect.
isEntity() - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
isEntity() - Method in class edu.uky.cs.nil.sabre.Entity
isEntity() - Method in class edu.uky.cs.nil.sabre.Fluent
isEntity() - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Tests whether every branch of this conditional is of type entity.
isEntity() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
isEntity() - Method in interface edu.uky.cs.nil.sabre.logic.Numeric
isEntity() - Method in interface edu.uky.cs.nil.sabre.logic.Proposition
isEntity() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: Tests whether this formula is of type entity.
isEntity() - Method in class edu.uky.cs.nil.sabre.logic.Unknown
isEntity() - Method in class edu.uky.cs.nil.sabre.logic.Variable
isEntity() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
isEntity() - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
isEntity() - Method in class edu.uky.cs.nil.sabre.Type
isExplained() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns whether or not the search space node that this progression node refers to is explained for all the characters for which it needs to be explained.
isExplained(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Checks whether a given node make sense, which means that for every consenting character of the the most recent action nodes have been generated that demonstrate the character can imagine a plan starting with that action which increases their utility.
isExplained(long, Character) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Checks whether a given node make sense for a given character, which means the character is a consenting character for the most recent action and node have been generated that demonstrate the character can imagine a plan starting with that action which increases their utility.
isExplained(Character) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionNode: Returns whether or not the search space node that this progression node refers to is explained for the given character.
isExplained(Long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
isExplained(Long, Character) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
isExplained(N) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Indicates whether the action that led to the state for the given node is fully explained (that is, explained for all its consenting characters).
isExplained(N, Character) - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Indicates whether the action that led to the state for the given node is explained for a given character.
isGreaterThan(Number) - Method in class edu.uky.cs.nil.sabre.Number: Tests whether this number is larger than a given second number.
isGreaterThanOrEqualTo(Number) - Method in class edu.uky.cs.nil.sabre.Number: Tests whether this number is larger than or the same as a given second number.
isGround() - Method in class edu.uky.cs.nil.sabre.Action
isGround() - Method in interface edu.uky.cs.nil.sabre.comp.CompiledEvent
isGround() - Method in class edu.uky.cs.nil.sabre.comp.CompiledFluent
isGround() - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
isGround() - Method in class edu.uky.cs.nil.sabre.comp.CompiledTrigger
isGround() - Method in interface edu.uky.cs.nil.sabre.Event
isGround() - Method in class edu.uky.cs.nil.sabre.Fluent
isGround() - Method in class edu.uky.cs.nil.sabre.InitialState
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
isGround() - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Assignment
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Comparison
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Conditional
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Effect
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
isGround() - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Tests whether this logical formula is ground, which means that it contains no variables.
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Negation
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Quantified
isGround() - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
isGround() - Method in interface edu.uky.cs.nil.sabre.logic.Value
isGround() - Method in class edu.uky.cs.nil.sabre.logic.Variable
isGround() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
isGround() - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
isGround() - Method in class edu.uky.cs.nil.sabre.Number
isGround() - Method in class edu.uky.cs.nil.sabre.Signature
isGround() - Method in class edu.uky.cs.nil.sabre.Type
isLessThan(Number) - Method in class edu.uky.cs.nil.sabre.Number: Tests whether this number is smaller than a given second number.
isLessThanOrEqualTo(Number) - Method in class edu.uky.cs.nil.sabre.Number: Tests whether this number is smaller than or the same as a given second number.
isNumber() - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
isNumber() - Method in class edu.uky.cs.nil.sabre.Entity
isNumber() - Method in class edu.uky.cs.nil.sabre.Fluent
isNumber() - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Tests whether every branch of this conditional is of type number.
isNumber() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
isNumber() - Method in interface edu.uky.cs.nil.sabre.logic.Numeric
isNumber() - Method in interface edu.uky.cs.nil.sabre.logic.Proposition
isNumber() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: Tests whether this formula is of type number.
isNumber() - Method in class edu.uky.cs.nil.sabre.logic.Unknown
isNumber() - Method in class edu.uky.cs.nil.sabre.logic.Variable
isNumber() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
isNumber() - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
isNumber() - Method in class edu.uky.cs.nil.sabre.Type
isolate(Fluent, Expression, Expression, Comparison.Operator, Expression) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic.Operator: Isolates a query fluent on the left side of a comparison which has an arithmetic expression using this operator on its left.
isPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Clause: Tests whether every atom in this clause is a precondition.
isValid(Solution) - Method in class edu.uky.cs.nil.sabre.graph.StateNode: Determines whether a solution is valid in this state.
isValid(Solution) - Method in class edu.uky.cs.nil.sabre.graph.TemporalEdge: Determines whether a solution is valid for this edge.
isValued() - Method in class edu.uky.cs.nil.sabre.Fluent
isValued() - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
isValued() - Method in interface edu.uky.cs.nil.sabre.logic.Expression: Tests whether or not this expression is a valued expression.
isValued() - Method in interface edu.uky.cs.nil.sabre.logic.Parameter
isValued() - Method in interface edu.uky.cs.nil.sabre.logic.Value
iterator() - Method in class edu.uky.cs.nil.sabre.HeadPlan
iterator() - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode
iterator() - Method in class edu.uky.cs.nil.sabre.hg.ConstantNode
iterator() - Method in interface edu.uky.cs.nil.sabre.hg.CostSet
iterator() - Method in class edu.uky.cs.nil.sabre.hg.List
iterator() - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
iterator() - Method in class edu.uky.cs.nil.sabre.hg.NumericFluentNode
iterator() - Method in class edu.uky.cs.nil.sabre.hg.UtilityNode
iterator() - Method in class edu.uky.cs.nil.sabre.io.ParseTree
iterator() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
iterator() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
iterator() - Method in interface edu.uky.cs.nil.sabre.Solution
iterator() - Method in class edu.uky.cs.nil.sabre.TailPlan
iterator() - Method in class edu.uky.cs.nil.sabre.util.ArrayIterable
iterator() - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray
iterator() - Method in class edu.uky.cs.nil.sabre.util.ImmutableList
iterator() - Method in class edu.uky.cs.nil.sabre.util.UniqueMap
iteratorOutOfElements() - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown any time Iterator.next() is called on an Iterator that has no more elements.

K

key - Variable in class edu.uky.cs.nil.sabre.io.NonTerminal: A unique object that identifies this non-terminal symbol
Keyword - Class in edu.uky.cs.nil.sabre.io: A keyword is a terminal symbol which matches exactly one token that must have a specified string value.
Keyword(String) - Constructor for class edu.uky.cs.nil.sabre.io.Keyword: Constructs a new keyword symbol that will only match a single token whose string value is this value.

L

label - Variable in class edu.uky.cs.nil.sabre.graph.Edge: A object explaining the relationship of the parent to the child
label - Variable in class edu.uky.cs.nil.sabre.graph.EpistemicEdge: The character who believes the world is in the child state when the state is actually the parent state
label - Variable in class edu.uky.cs.nil.sabre.graph.TemporalEdge: The event which caused the state to change from the parent state to the child state
label - Variable in class edu.uky.cs.nil.sabre.hg.ActionNode: The action this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.ArithmeticNode: The arithmetic expression this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.ClauseNode: The conjunctive clause this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.ConstantNode: The value this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.DisjunctionNode: The disjunctive normal form expression this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.EffectNode: The atomic effect this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.EventNode: The event this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.FluentNode: The fluent this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.GoalNode: The condition and utility value this node represents.
label - Variable in class edu.uky.cs.nil.sabre.hg.Node: The logical formula this node represents in the graph
label - Variable in class edu.uky.cs.nil.sabre.hg.PreconditionNode: The atomic precondition this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.TriggerNode: The trigger this node represents
label - Variable in class edu.uky.cs.nil.sabre.hg.UtilityNode: The conditional numeric expression that defines a utility value depending on the situation
last - Variable in class edu.uky.cs.nil.sabre.TailPlan: The last action in the plan
last(ImmutableList) - Static method in interface edu.uky.cs.nil.sabre.io.Pattern: Returns the last token in a list as a new list containing exactly that one token.
left - Variable in class edu.uky.cs.nil.sabre.hg.ArithmeticNode: The node representing the left side of the arithmetic expression
left - Variable in class edu.uky.cs.nil.sabre.logic.Arithmetic: The left numeric expression
left - Variable in class edu.uky.cs.nil.sabre.logic.Comparison: The left side expression
LESS_THAN - Static variable in class edu.uky.cs.nil.sabre.logic.Comparison: Represents a Comparison where the left is less than the right.
LESS_THAN_COMPARISON - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a less than comparison
LESS_THAN_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for less than comparison
LESS_THAN_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the less than comparison operator
LESS_THAN_OR_EQUAL_TO - Static variable in class edu.uky.cs.nil.sabre.logic.Comparison: Represents a Comparison where the left is less than or equal to the right.
LESS_THAN_OR_EQUAL_TO_COMPARISON - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a less than or equal to comparison
LESS_THAN_OR_EQUAL_TO_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for less than or equal to comparison
LESS_THAN_OR_EQUAL_TO_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the less than or equal to comparison operator
LESS_THAN_OR_EQUAL_TO_PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a less than or equal to precondition
LESS_THAN_PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a less than precondition
line - Variable in class edu.uky.cs.nil.sabre.io.Token: The line number in the input stream where this token began
List<T> - Class in edu.uky.cs.nil.sabre.hg: A list for holding elements of a HeuristicGraph heuristic graph.
List - Class in edu.uky.cs.nil.sabre.io: A list is a parsing pattern where a given pattern is repeated some number of times with a separator between occurrences.
List() - Constructor for class edu.uky.cs.nil.sabre.hg.List: Constructs a new heuristic graph list.
List(Pattern, Keyword) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element pattern, separator keyword, and unlimited min and max elements.
List(Pattern, Keyword, int, int) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element pattern, separator keyword, and min and max element counts.
List(Pattern, String) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element pattern, separator string (that will be converted into a keyword), and unlimited min and max elements.
List(Pattern, String, int, int) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element pattern, separator string (that will be converted into a keyword), and min and max element counts.
List(Object, Keyword) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element object (that will be converted to a pattern), separator keyword, and unlimited min and max elements.
List(Object, Keyword, int, int) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element object (that will be converted to a pattern), separator keyword, and min and max element counts.
List(Object, String) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element object (that will be converted to a pattern), separator string (that will be converted to a keyword), and unlimited min and max elements.
List(Object, String, int, int) - Constructor for class edu.uky.cs.nil.sabre.io.List: Constructs a new list with a given element object (that will be converted to a pattern), separator string (thst will be converted to a keyword), and min and max element counts.
ListIterator<T> - Class in edu.uky.cs.nil.sabre.util: An iterator for iterating through an ImmutableList.
ListIterator(ImmutableList) - Constructor for class edu.uky.cs.nil.sabre.util.ListIterator: Constructs a new iterator for a given immutable list.
Logical - Interface in edu.uky.cs.nil.sabre.logic: A logical formula is an atomic or complex logical proposition or the pieces which make up a logical proposition.
LOGICAL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical formula
LOGICAL_CLOSE_BRACKET - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the closing bracket of a logical expression in brackets
LOGICAL_OPEN_BRACKET - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the opening bracket of a logical expression in brackets
Lookahead - Class in edu.uky.cs.nil.sabre.io: A lookahead pattern is one that can look arbitrarily far into a sequence of tokens to determine if it matches.
Lookahead() - Constructor for class edu.uky.cs.nil.sabre.io.Lookahead: Constructs a new lookahead pattern.

M

main(String[]) - Static method in class edu.uky.cs.nil.sabre.Main: Configures a session according to command line arguments, runs a search, and prints the result to standard output.
Main - Class in edu.uky.cs.nil.sabre: Configures a session according to command line arguments, runs a search, and prints the result to standard output.
MAJOR_VERSION_NUMBER - Static variable in class edu.uky.cs.nil.sabre.Settings: The major version number, which represents big changes that are not backwards compatible with earlier major versions
makeAction(int, Action) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles an action into a compiled action, replacing its elements with compiled elements from this compiler.
makeActionNode(Action) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all action nodes so that subclasses of HeuristicGraph have the option to return subclasses of ActionNode to modify the graph's behavior.
makeArithmetic(Arithmetic) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles an arithmetic expression, replacing its elements with compiled elements from this compiler.
makeArithmeticNode(Arithmetic) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all arithmetic nodes so that subclasses of HeuristicGraph have the option to return subclasses of ArithmeticNode to modify the graph's behavior.
makeClause(Clause) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles a clause, replacing its elements with compiled elements from this compiler.
makeClauseNode(Clause) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all clause nodes so that subclasses of HeuristicGraph have the option to return subclasses of ClauseNode to modify the graph's behavior.
makeConditional(Conditional) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles a conditional whose conditions are in disjunctive normal form, replacing its elements with compiled elements from this compiler.
makeConstantNode(Value) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all constant nodes so that subclasses of HeuristicGraph have the option to return subclasses of ConstantNode to modify the graph's behavior.
makeDisjunction(Disjunction) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles a disjunction in disjunctive normal form, replacing its elements with compiled elements from this compiler.
makeDisjunctionNode(Disjunction) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all disjunction nodes so that subclasses of HeuristicGraph have the option to return subclasses of DisjunctionNode to modify the graph's behavior.
makeEffect(Effect) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles an effect, replacing its elements with compiled elements from this compiler.
makeEffectNode(Effect) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all effect nodes so that subclasses of HeuristicGraph have the option to return subclasses of EffectNode to modify the graph's behavior.
makeFluent(int, Fluent) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles a fluent, replacing its elements with compiled elements from this compiler.
makeGoalNode(UtilityNode, Conditional) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all goal nodes so that subclasses of HeuristicGraph have the option to return subclasses of GoalNode to modify the graph's behavior.
makeNominalFluentNode(Fluent) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all nominal fluent nodes so that subclasses of HeuristicGraph have the option to return subclasses of NominalFluentNode to modify the graph's behavior.
makeNominalRange() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all nominal ranges (that is, range objects that hold a set of discrete values) so that subclasses of HeuristicGraph have the option to return subclasses of Range to modify the graph's behavior.
makeNumericFluentNode(Fluent) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all numeric fluent nodes so that subclasses of HeuristicGraph have the option to return subclasses of NumericFluentNode to modify the graph's behavior.
makeNumericRange() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all numeric ranges (that is, range objects that hold a potentially infinite set of numeric values) so that subclasses of HeuristicGraph have the option to return subclasses of DisjunctionNode to modify the graph's behavior.
makePrecondition(Precondition) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiled a precondition, replacing its elements with compiled elements from this compiler.
makePreconditionNode(Precondition) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all precondition nodes so that subclasses of HeuristicGraph have the option to return subclasses of PreconditionNode to modify the graph's behavior.
makeRange(Expression) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all ranges in the graph so that subclasses of HeuristicGraph have the option to return subclasses of Range to modify the graph's behavior.
makesAmbiguous(String, Signature, Signature) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when defining a new thing would make a previously defined thing ambiguous.
makeSignature(Signature) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles a signature, replacing its elements with compiled elements from this compiler.
makeTrigger(int, Trigger) - Method in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Compiles a trigger into a compiled trigger, replacing its elements with compiled elements from this compiler.
makeTriggerNode(Trigger) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all trigger nodes so that subclasses of HeuristicGraph have the option to return subclasses of TriggerNode to modify the graph's behavior.
makeUtilityNode(Character, Conditional) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: This method is used to create all utility nodes so that subclasses of HeuristicGraph have the option to return subclasses of UtilityNode to modify the graph's behavior.
mapping - Variable in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: A mapping of objects to equivalent objects that use compiled elements
Mapping<E> - Interface in edu.uky.cs.nil.sabre: A function which takes as input a character and returns a logical expression relevant to that character.
Mapping.Function - Class in edu.uky.cs.nil.sabre: A mapping defined by an expression that contains a variable representing a character.
Mapping.Predicate - Class in edu.uky.cs.nil.sabre: A mapping which returns true for a defined list of characters and false for all others.
markForReset() - Method in class edu.uky.cs.nil.sabre.hg.Node: Adds this node to the the graph's list of nodes that need to be reset when the graph's reset method is called.
match(Parser, ImmutableList) - Method in class edu.uky.cs.nil.sabre.io.List
match(Parser, ImmutableList) - Method in class edu.uky.cs.nil.sabre.io.NonTerminal
match(Parser, ImmutableList) - Method in interface edu.uky.cs.nil.sabre.io.Pattern: If a list of tokens is formatted correctly according to this pattern, this method returns a parse tree that can then be given to a builder to create an object; if the tokens do not match this pattern, a parse exception is thrown.
match(Parser, ImmutableList) - Method in class edu.uky.cs.nil.sabre.io.Selection
match(Parser, ImmutableList) - Method in class edu.uky.cs.nil.sabre.io.Sentinel
match(Parser, ImmutableList) - Method in class edu.uky.cs.nil.sabre.io.Single
match(Pattern, ImmutableList) - Method in class edu.uky.cs.nil.sabre.io.Parser: Attempts to match a list of tokens to a pattern, returning a parse tree on success or throwing a parse exception on failure.
match(String) - Method in class edu.uky.cs.nil.sabre.io.Keyword
match(String) - Method in class edu.uky.cs.nil.sabre.io.Single: Given the string representation of a single token, this method returns true if that string matches the correct format or false otherwise.
max - Variable in class edu.uky.cs.nil.sabre.io.List: The maximum number of elements the list can have (or List.NO_LIMIT)
max(Number, Number) - Static method in class edu.uky.cs.nil.sabre.Number: Returns the larger of two numbers.
MAX - Static variable in class edu.uky.cs.nil.sabre.prog.GraphHeuristic: A factory for producing admissible max graph heuristics, which calculate an admissible lower bound on cost of improving utility.
MAX_CHUNK_SIZE - Static variable in class edu.uky.cs.nil.sabre.util.BigArrayLong: The largest allowed size for a chunk
MAX_HEURISTIC_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the max graph heuristic
MaxGraph - Class in edu.uky.cs.nil.sabre.hg: A max graph is a heuristic graph where the cost of a conjunction is defined to be the maximum cost of and of its conjuncts.
MaxGraph(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.hg.MaxGraph: Constructs a new max graph which contains nodes for every fluent, event, and utility in a given problem.
MaxGraph(Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.hg.MaxGraph: Constructs a new max graph which contains only the nodes representing false, true, and the empty clause.
MaxGraphHeuristic(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.prog.GraphHeuristic.MaxGraphHeuristic: Constructs a new max graph heuristic and its max graph.
MaxGraphHeuristic(MaxGraph) - Constructor for class edu.uky.cs.nil.sabre.prog.GraphHeuristic.MaxGraphHeuristic: Constructs a new max graph heuristic from a given max graph.
MemoryBudget - Class in edu.uky.cs.nil.sabre.util: A memory budget is used to track how much memory a data structure has used and prevent it from going over a defined limit.
MemoryBudget() - Constructor for class edu.uky.cs.nil.sabre.util.MemoryBudget: Constructs an unlimited memory budget.
MemoryBudget(long) - Constructor for class edu.uky.cs.nil.sabre.util.MemoryBudget: Constructs a new memory budget of a given number of bytes.
MemoryBudget(String) - Constructor for class edu.uky.cs.nil.sabre.util.MemoryBudget: Constructs a new memory budget from a string representing a number of bytes.
memoryBudgetExceeded(long) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a memory budget is asked to allocate memory despite having 0 bytes left.
message - Variable in class edu.uky.cs.nil.sabre.search.Result: A brief message explaining the outcome
METHOD - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the heuristic progression planner's method setting
METHOD_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the search method
min - Variable in class edu.uky.cs.nil.sabre.io.List: The minimum number of elements the list can have (or List.NO_LIMIT)
min(Number, Number) - Static method in class edu.uky.cs.nil.sabre.Number: Returns the smaller of two numbers.
MIN_CHUNK_SIZE - Static variable in class edu.uky.cs.nil.sabre.util.BigArrayLong: The smallest allowed size for a chunk
MINOR_VERSION_NUMBER - Static variable in class edu.uky.cs.nil.sabre.Settings: The minor version number, which represents added functionality that is backwards compatible with earlier versions that have the same major version number
missingCommandLineArgument(String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a set of command line arguments should contain a key but does not.
MULTIPLICATION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a multiplication arithmetic expression
MULTIPLICATION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the multiplication operator
multiply(Number) - Method in class edu.uky.cs.nil.sabre.Number: Returns a new number which is the product of this number and the given second number.
MULTIPLY - Static variable in class edu.uky.cs.nil.sabre.logic.Arithmetic: An arithmetic operator for multiplying the left and right sides of an arithmetic expression.
MULTIPLY_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the multiplication operator
mustBe(Typed, String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a typed logical formula should be of a certain type but is not.
mustBe(Type) - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of the given type, this method does nothing; if this formula is not of the given type, an exception is thrown.
mustBeBoolean() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type boolean, this method does nothing; if this formula is not of type boolean, an exception is thrown.
mustBeCharacter() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type character, this method does nothing; if this formula is not of type character, an exception is thrown.
mustBeEntity() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type entity, this method does nothing; if this formula is not of type entity, an exception is thrown.
mustBeGround() - Method in interface edu.uky.cs.nil.sabre.logic.Logical: If this logical formula is ground, this method does nothing; if it is not ground, an exception is thrown.
mustBeGround(Logical) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a logical formula should be ground (that is, should contain no variables) but is not.
mustBeNumber() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type number, this method does nothing; if this formula is not of type number, an exception is thrown.
mustBeValued() - Method in interface edu.uky.cs.nil.sabre.logic.Expression: If this expression is valued, this method does nothing; if it is not valued, an exception is thrown.
mustByValued(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a logical expression should be formatted as a value but is not.
mustNotBe(Typed, String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a typed logical formula should not be of a certain type but is.
mustNotBe(Type) - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of the given type, this method throws an exception; if this formula is not of the given type, this method does nothing.
mustNotBeBoolean() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type boolean, this method throws an exception; if this formula is not of type boolean, this method does nothing.
mustNotBeCharacter() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type character, this method throws an exception; if this formula is not of type character, this method does nothing.
mustNotBeEntity() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type entity, this method throws an exception; if this formula is not of type entity, this method does nothing.
mustNotBeNumber() - Method in interface edu.uky.cs.nil.sabre.logic.Typed: If this formula is of type number, this method throws an exception; if this formula is not of type number, this method does nothing.

N

name - Variable in class edu.uky.cs.nil.sabre.Entity: The unique name of this entity in this universe
name - Variable in class edu.uky.cs.nil.sabre.logic.Variable: The name of the variable
name - Variable in class edu.uky.cs.nil.sabre.Problem: The name of the problem
name - Variable in class edu.uky.cs.nil.sabre.search.Planner: The name of the planner
name - Variable in class edu.uky.cs.nil.sabre.Signature: A name
name - Variable in class edu.uky.cs.nil.sabre.Type: The unique name of this type in this universe
NAME - Static variable in class edu.uky.cs.nil.sabre.io.Terminal: A terminal symbol that matches a name, which is any sequence that starts with a letter of the alphabet.
NAMED_PARAMETER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a parameter with a name
NAMED_VALUE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a value with a name
negate() - Method in class edu.uky.cs.nil.sabre.Fluent
negate() - Method in class edu.uky.cs.nil.sabre.logic.Assignment: In general, assignments cannot be negated because the result would not clearly specify what value the fluent would have and would thus be nondeterministic; however, if the assignment's fluent is Boolean, this method will return an assignment with the same fluent on the left side and the assignment's value negated on the right.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Comparison: Returns a new comparison with the same left and right sides, but with a negated operator.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Comparison.Operator: Returns the operator this operator would become when negating a comparison in which it appears.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Returns a new conditional with the same conditions but whose branches have been negated.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction: Returns a disjunction in which each argument of this conjunction is negated.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction: Returns a conjunction in which each argument of this disjunction is negated.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Effect: An effect is negated similarly to an assignment, but similarly to a conditional, the condition remains unchanged (i.e. is not negated) when an effect is negated.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
negate() - Method in interface edu.uky.cs.nil.sabre.logic.Expression: If this expression is of type boolean, this method returns an expression that will always have the opposite value; if this expression is of any other type, or cannot be negated, this method thrown an exception.
negate() - Method in class edu.uky.cs.nil.sabre.logic.False: Returns true.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Negation
negate() - Method in class edu.uky.cs.nil.sabre.logic.Precondition
negate() - Method in class edu.uky.cs.nil.sabre.logic.Quantified: Returns a quantified expression with a negated quantifier and a negated argument.
negate() - Method in class edu.uky.cs.nil.sabre.logic.Quantified.Quantifier: Returns the quantifier this quantifier would become when negating a quantified expression.
negate() - Method in class edu.uky.cs.nil.sabre.logic.True: Returns false.
negate() - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
negate() - Method in class edu.uky.cs.nil.sabre.logic.Variable
negates(Atom) - Method in interface edu.uky.cs.nil.sabre.logic.Atom: Tests whether a conjunction of this atom and a given atom would be a contradiction.
negates(Atom) - Method in class edu.uky.cs.nil.sabre.logic.Effect
negates(Atom) - Method in class edu.uky.cs.nil.sabre.logic.Precondition
negates(Precondition, Precondition) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator
negates(Precondition, Precondition) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.Operator: Tests whether a Precondition (that is, an atomic comparison) using this operator negates a second precondition.
negates(Precondition, Precondition, Number, Number) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator: This convenience method behaves exactly like Comparison.Operator.negates(Precondition, Precondition) and makes the same assumptions, except that it only handles cases where the right sides of both preconditions are numbers.
Negation - Class in edu.uky.cs.nil.sabre.logic: A negation is proposition whose value is the opposite of its single boolean argument.
Negation(Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Negation: Constructs a negation.
NEGATION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a negation
NEGATION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the logical negation operator
NEGATIVE_INFINITY - Static variable in class edu.uky.cs.nil.sabre.Number: A constant representing negative infinity
next() - Method in class edu.uky.cs.nil.sabre.graph.EdgeIterator
next() - Method in interface edu.uky.cs.nil.sabre.Solution: Returns the remainder of this solution after the first action.
next() - Method in class edu.uky.cs.nil.sabre.Solution.SolutionIterator
next() - Method in class edu.uky.cs.nil.sabre.SolutionGoal
next() - Method in class edu.uky.cs.nil.sabre.SolutionPlan
next() - Method in class edu.uky.cs.nil.sabre.util.ArrayIterator
next() - Method in class edu.uky.cs.nil.sabre.util.ListIterator
NO_LIMIT - Static variable in class edu.uky.cs.nil.sabre.io.List: A constant representing no limit on the minimum or maximum number of elements in a list
noBuilder(String, ImmutableList) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a parser tries to build an object after successfully parsing it, but no builders are defined that specify how to create the object.
Node - Class in edu.uky.cs.nil.sabre.hg: The parent class of all heuristic graph nodes.
Node(HeuristicGraph, Logical) - Constructor for class edu.uky.cs.nil.sabre.hg.Node: Constructs a new node that belongs to a given graph and represents a given logical formula.
nodes - Variable in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Maps the labels of nodes to their corresponding nodes
noExplanationForEmptyPlan() - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when attempting to add an explanation to an empty plan.
noExplanationRequired(Character, Action) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when attempting to explain an action which does not require an explanation for a given character.
noHeuristicGraphNode(Logical) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when requesting a node from a heuristic graph that the graph does not define.
NominalFluentNode - Class in edu.uky.cs.nil.sabre.hg: A fluent node representing a non-numeric fluent, which is any fluent that has a discrete, finite set of possible values.
NominalFluentNode(HeuristicGraph, Fluent) - Constructor for class edu.uky.cs.nil.sabre.hg.NominalFluentNode: Constructs a new fluent node that belongs to a given graph and represents a given nominal fluent.
NON_EMPTY_HEAD_PLAN - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a head plan with one or more actions
NONCONDITIONAL_EFFECT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical effect with no condition
NONEPISTEMIC_FLUENT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a fluent with no characters
NonTerminal - Class in edu.uky.cs.nil.sabre.io: A non-terminal symbol is a complex element in a grammar used by a parser which can be further broken down into smaller parts made up of terminal symbols and other non-terminal symbols.
NonTerminal(Object) - Constructor for class edu.uky.cs.nil.sabre.io.NonTerminal: Constructs a new non-terminal symbol with a given unique identifier.
NonTerminal(Object, String) - Constructor for class edu.uky.cs.nil.sabre.io.NonTerminal: Constructs a new non-terminal symbol with a given unique identifier and a given description.
noPattern(String, ImmutableList) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a parser has been asked to parse a symbol for which no parsing rules are defined.
noPrinter(String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a printer tries to write an object, but no object printers are defined that accept that kind of object.
noSentinel(Object) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when constructing a sentinel pattern for a parser which does not have a sentinel keyword between each pattern.
NOT_EQUAL_TO - Static variable in class edu.uky.cs.nil.sabre.logic.Comparison: Represents a Comparison where the left and right are not the same.
NOT_EQUAL_TO_COMPARISON - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a not equal to comparison
NOT_EQUAL_TO_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for not equal to comparison
NOT_EQUAL_TO_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the not equal to comparison operator
NOT_EQUAL_TO_PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a not equal to precondition
notANumber(Number) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a Java number cannot be converted to a numeric value.
notDefined(String, String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when some object of a given type and (optionally) with a given name should be defined, but no objects of that type with that name are defined.
NOTHING - Static variable in class edu.uky.cs.nil.sabre.io.Terminal: A terminal symbol representing no tokens.
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.ActionNode
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.ClauseNode
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.DisjunctionNode
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.EffectNode
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.GoalNode
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.Node: This method is called when some other node in the graph which is important to this node takes on a new value.
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.PreconditionNode
notify(Node, Value, double) - Method in class edu.uky.cs.nil.sabre.hg.TriggerNode
notNull(T, String) - Method in class edu.uky.cs.nil.sabre.Session: Throws an exception if the given object is null.
notSet(String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when an object is null but should not be.
NULL - Static variable in class edu.uky.cs.nil.sabre.logic.Clause: The null clause is a empty clause which is logically equivalent to false.
NULL_CLAUSE_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the null clause
Number - Class in edu.uky.cs.nil.sabre: Represents numbers (using the Java double data type) as values.
NUMBER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a number
NUMBER - Static variable in class edu.uky.cs.nil.sabre.io.Terminal: A terminal symbol that matches a numeric literal, which is any string that can be used to create a BigDecimal.
NUMBER_EXPRESSION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing is numeric logical expression
NUMBER_TYPE_COMMENT - Static variable in class edu.uky.cs.nil.sabre.Settings: The comment associated with the number type by default
NUMBER_TYPE_ID - Static variable in class edu.uky.cs.nil.sabre.Settings: The ID number and index of the number type
NUMBER_TYPE_NAME - Static variable in class edu.uky.cs.nil.sabre.Settings: The name of the number type which is pre-defined in all problems
Numeric - Interface in edu.uky.cs.nil.sabre.logic: A numeric expression is a logical expression of type number.
NUMERIC - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a numeric expression
NumericFluentNode - Class in edu.uky.cs.nil.sabre.hg: A fluent node representing a numeric fluent, which is any fluent that has a potentially infinite range of number values.
NumericFluentNode(HeuristicGraph, Fluent) - Constructor for class edu.uky.cs.nil.sabre.hg.NumericFluentNode: Constructs a new fluent node that belongs to a given graph and represents a given numeric fluent.

O

OBJECT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a Java object
ObjectPrinter<T> - Interface in edu.uky.cs.nil.sabre.io: An object printer defines how an object should be converted to text.
observing - Variable in class edu.uky.cs.nil.sabre.Action: A function which, for any character, returns a logical expression which is used to decide whether that character observes the action
observing - Variable in class edu.uky.cs.nil.sabre.comp.CompiledAction: The action's observing characters function in in disjunctive normal form
OBSERVING_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning an action's observing characters
occurs(Object) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Tests whether some query object occurs anywhere in this logical formula or any of the formulas which make up this formula.
ONE - Static variable in class edu.uky.cs.nil.sabre.Number: A constant representing one
operation - Variable in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion.Operator: The arithmetic operator to be applied to the series of numeric expressions
operator - Variable in class edu.uky.cs.nil.sabre.logic.Arithmetic: The arithmetic operator to apply to the left and right sides
operator - Variable in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: The arithmetic expansion operator to be applied to the series of numeric expressions
operator - Variable in class edu.uky.cs.nil.sabre.logic.Comparison: The relationship between the left and right sides

P

Parameter - Interface in edu.uky.cs.nil.sabre.logic: A parameter is a value or a placeholder for a value, such as a variable.
PARAMETER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a parameter
PARAMETER_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a parameter in something with a signature
PARAMETER_LIST_CLOSE_BRACKET - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the end of a list of parameters or arguments
PARAMETER_LIST_OPEN_BRACKET - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the start of a list of parameters or arguments
PARAMETER_SEPARATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for that separates elements in a list of parameters or arguments
parameterMayNotBeNull(int) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when defining a parameter (usually in a signature) to be the value unknown.
parent - Variable in class edu.uky.cs.nil.sabre.comp.PrefixFluent: The fluent whose signature is identical but whose list of characters is the same except that the first character has been removed
parent - Variable in class edu.uky.cs.nil.sabre.graph.Edge: The state node out from which this edge extends
parent - Variable in class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic.Factory: The cost function factory that will be used to create the cost function to be used any time a node is not being repeated
parent - Variable in class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic: The cost function to be used any time a node is not being repeated
parent - Variable in class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic.Factory: The cost function factory that will be used to create the cost function to be used any time a root is not being repeated
parents - Variable in class edu.uky.cs.nil.sabre.Type: This type's direct parent supertypes
parse(File, Class) - Method in class edu.uky.cs.nil.sabre.io.Parser: Parses a text File and converts it to an object.
parse(Reader, Class) - Method in class edu.uky.cs.nil.sabre.io.Parser: Reads all text from a reader and converts it to an object according to this parser's tokenizer, parsing rules, and builders.
parse(String) - Static method in class edu.uky.cs.nil.sabre.util.MemoryBudget: Converts a string representation of an amount of memory into a number of bytes.
parse(String, Class) - Method in class edu.uky.cs.nil.sabre.io.Parser: Parses a string of text and converts it to an object.
ParseException - Exception Class in edu.uky.cs.nil.sabre.io: A parse exception is thrown when some failure occurs while parsing an object.
ParseException(String, ImmutableList) - Constructor for exception class edu.uky.cs.nil.sabre.io.ParseException: Constructs a new parse exception.
ParseException(String, ImmutableList, Throwable) - Constructor for exception class edu.uky.cs.nil.sabre.io.ParseException: Constructs a new parse exception that arose due to another exception.
parseListCount(int, int, int, ImmutableList) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when parsing a list that has the wrong number of elements.
parser - Variable in class edu.uky.cs.nil.sabre.Session: The session's parser
Parser - Class in edu.uky.cs.nil.sabre.io: A parser converts text into objects according to rules.
Parser() - Constructor for class edu.uky.cs.nil.sabre.io.Parser: Constructs a new parser with a default tokenizer, no parsing rules, and only simple builders for for terminal symbols.
PARSER - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's parser object
ParseTree - Class in edu.uky.cs.nil.sabre.io: A parse tree is the result of successfully matching a sequence of tokens to a pattern.
ParseTree(Pattern, ImmutableList, ParseTree...) - Constructor for class edu.uky.cs.nil.sabre.io.ParseTree: Constructs a new parse tree.
ParseTree(Pattern, ImmutableList, Collection) - Constructor for class edu.uky.cs.nil.sabre.io.ParseTree: Constructs a new parse tree.
parseUnexpected(String, ImmutableList) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a parser expected to find nothing but instead found something.
parseUnexpected(String, String, ImmutableList) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a parser expected to find something specific next, but something else was found instead.
PATCH_VERSION_NUMBER - Static variable in class edu.uky.cs.nil.sabre.Settings: The patch version number, which represents bug fixes but no changes in functionality
pattern - Variable in class edu.uky.cs.nil.sabre.io.ParseTree: The pattern which matches the sequence of tokens
Pattern - Interface in edu.uky.cs.nil.sabre.io: A pattern determines whether a sequence of tokens matches the expected format to be parsed as an object.
patterns - Variable in class edu.uky.cs.nil.sabre.io.Selection: The list of patterns to attempt to match in the order they should be tried
patterns - Variable in class edu.uky.cs.nil.sabre.io.Sentinel: A sequence of patterns where every other one must be a keyword
Plan<A> - Interface in edu.uky.cs.nil.sabre: A plan is a sequence of actions.
PLAN - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a plan
PLAN - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the author's plan from the most result
PLAN_SIZE - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCost: A cost function that returns the length of the plan that led to the state represented by the node it is evaluating.
PLAN_SIZE - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCostFactory: A progression cost factory that always returns the plan size cost.
PLAN_SIZE_COST_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the plan size function
planner - Variable in class edu.uky.cs.nil.sabre.Session: The session's planner
Planner<A> - Class in edu.uky.cs.nil.sabre.search: A planner is a configurable factory object for producing searches that solve planning problems by generating plans.
Planner(String) - Constructor for class edu.uky.cs.nil.sabre.search.Planner: Constructs a new planner with the given name.
PLANNER - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's planner object
position - Variable in class edu.uky.cs.nil.sabre.io.Token: The position in the input stream where this token began
POSITIVE_INFINITY - Static variable in class edu.uky.cs.nil.sabre.Number: A constant representing positive infinity
precondition - Variable in class edu.uky.cs.nil.sabre.Action: A logical expression that must be true before the action can occur
precondition - Variable in class edu.uky.cs.nil.sabre.comp.CompiledAction: The action's precondition in in disjunctive normal form
precondition - Variable in class edu.uky.cs.nil.sabre.comp.CompiledTrigger: The trigger's precondition in in disjunctive normal form
precondition - Variable in class edu.uky.cs.nil.sabre.hg.EventNode: The node representing the event's precondition
precondition - Variable in class edu.uky.cs.nil.sabre.Trigger: A logical expression that must be true before the trigger can occur
Precondition - Class in edu.uky.cs.nil.sabre.logic: A precondition is an atomic comparison which must have one of two formats: a variable on the left and a parameter on the right, or a fluent on the left and a valued expression on the right.
Precondition(Comparison.Operator, Fluent, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Precondition: Constructs a new precondition where the left side is a fluent and the right side is a valued expression.
Precondition(Comparison.Operator, Expression, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Precondition: Constructs a new precondition without checking its left and right sides.
Precondition(Comparison.Operator, Variable, Parameter) - Constructor for class edu.uky.cs.nil.sabre.logic.Precondition: Constructs a new precondition where the left side is a variable and the right side is a parameter (generally another variable or a value).
PRECONDITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical precondition
PRECONDITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning an event precondition
PreconditionNode - Class in edu.uky.cs.nil.sabre.hg: A node which represents an atomic precondition, which is a comparison between a fluent on the left and a value on the right.
PreconditionNode(HeuristicGraph, Precondition) - Constructor for class edu.uky.cs.nil.sabre.hg.PreconditionNode: Constructs a new precondition node that belongs to a given graph and represents a given atomic precondition.
preconditions - Variable in class edu.uky.cs.nil.sabre.hg.ClauseNode: The nodes representing the preconditions that make up the clause
preconditions - Variable in class edu.uky.cs.nil.sabre.hg.EffectNode: A list of all precondition nodes whose fluent this effect might assign values to
preconditions - Variable in class edu.uky.cs.nil.sabre.hg.FluentNode: All precondition nodes where this node's fluent appears on the left side
Predicate(Character...) - Constructor for class edu.uky.cs.nil.sabre.Mapping.Predicate: Constructs a new predicate.
Predicate(ImmutableSet) - Constructor for class edu.uky.cs.nil.sabre.Mapping.Predicate: Constructs a new predicate.
prefixes - Variable in class edu.uky.cs.nil.sabre.io.Tokenizer: A set of substrings of every symbol
PrefixFluent - Class in edu.uky.cs.nil.sabre.comp: A special fluent object that may be created when reasoning about beliefs and compiled fluents.
PrefixFluent(Parameter, CompiledFluent) - Constructor for class edu.uky.cs.nil.sabre.comp.PrefixFluent: Constructs a new prefix fluent where a given character is prepended to the start of a compiled fluent's characters.
PrefixFluent(Parameter, PrefixFluent) - Constructor for class edu.uky.cs.nil.sabre.comp.PrefixFluent: Constructs a new prefix fluent where a given character is prepended to the start of a prefix fluent's characters.
prepend(A) - Method in class edu.uky.cs.nil.sabre.HeadPlan: Returns a new plan with the given action added to the start.
prepend(A) - Method in interface edu.uky.cs.nil.sabre.Solution: Adds an action to the beginning of this solution.
prepend(A) - Method in class edu.uky.cs.nil.sabre.SolutionGoal
prepend(A) - Method in class edu.uky.cs.nil.sabre.SolutionPlan
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.Character
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.comp.CompiledFluent
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.comp.PrefixFluent
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.Entity
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.Fluent
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Assignment
prepend(Parameter) - Method in interface edu.uky.cs.nil.sabre.logic.Atom
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Clause
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Comparison
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Conditional
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Effect
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
prepend(Parameter) - Method in interface edu.uky.cs.nil.sabre.logic.Expression: Returns an expression which represents a character's beliefs about this expression.
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.False
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Negation
prepend(Parameter) - Method in interface edu.uky.cs.nil.sabre.logic.Parameter
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Precondition
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Quantified
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.True
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Unknown
prepend(Parameter) - Method in interface edu.uky.cs.nil.sabre.logic.Value
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.logic.Variable
prepend(Parameter) - Method in class edu.uky.cs.nil.sabre.Number
print(Printer, T, Writer) - Method in interface edu.uky.cs.nil.sabre.io.ObjectPrinter: Converts an object into text and writes that text to a writer.
print(T, File) - Method in class edu.uky.cs.nil.sabre.io.Printer: Converts an object to text and writes that text to a file via Printer.print(Object, Writer).
print(T, Writer) - Method in class edu.uky.cs.nil.sabre.io.Printer: Converts an object to text and writes that text to a writer.
printer - Variable in class edu.uky.cs.nil.sabre.Session: The session's printer
Printer - Class in edu.uky.cs.nil.sabre.io: A printer accepts any object as input and converts it to a text representation.
Printer() - Constructor for class edu.uky.cs.nil.sabre.io.Printer: Constructs a new printer with no configuration.
PRINTER - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's printer object
problem - Variable in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: The problem this search is solving
problem - Variable in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: The problem whose search space this table stores
problem - Variable in class edu.uky.cs.nil.sabre.search.Result: The problem the search was solving
problem - Variable in class edu.uky.cs.nil.sabre.search.Search: The problem this search is finding solutions for
problem - Variable in class edu.uky.cs.nil.sabre.Session: The session's problem
Problem - Class in edu.uky.cs.nil.sabre: Represents all the definitions needed to define a full planning task.
Problem(ProblemBuilder) - Constructor for class edu.uky.cs.nil.sabre.Problem: Constructs a new problem using the definitions specified in a ProblemBuilder.
Problem(String, Universe, ImmutableSet, ImmutableSet, ImmutableSet, Expression, Expression, Mapping, String) - Constructor for class edu.uky.cs.nil.sabre.Problem: Constructs a new problem.
PROBLEM - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a planning problem
PROBLEM - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's problem object
PROBLEM_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the problem file URL
ProblemBuilder - Class in edu.uky.cs.nil.sabre: A problem builder assists in defining a planning problem by enforcing requirements on the various parts needed to define a problem.
ProblemBuilder(Problem) - Constructor for class edu.uky.cs.nil.sabre.ProblemBuilder: Constructs a new problem builder that will begin with all the definitions in the provided problem and can be used to define a new problem which is an extension or modification of that problem.
ProblemBuilder(String, Universe) - Constructor for class edu.uky.cs.nil.sabre.ProblemBuilder: Constructs a new empty problem builder with a given name and universe.
ProblemCompiler - Class in edu.uky.cs.nil.sabre.comp: A problem compiler is a data structure for converting fluents, events, and logical expressions into compiled fluents, compiled events, and logical expressions using compiled elements.
ProblemCompiler(Universe) - Constructor for class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Constructs a new problem compiled using the given universe.
ProblemCompiler(Universe, Iterable) - Constructor for class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Constructs a new problem compiler and compiles a given collection of fluents.
ProblemCompiler(Universe, Iterable, Iterable, Iterable) - Constructor for class edu.uky.cs.nil.sabre.comp.ProblemCompiler: Constructs a new problem compiler and compiles a given collection of fluents, actions, and triggers.
PRODUCT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a product expansion
PRODUCT - Static variable in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: Iteratively applies the multiplication operator to a series of numeric expressions.
PRODUCT_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for product
PRODUCT_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the product operator
Progress<A> - Class in edu.uky.cs.nil.sabre.search: A progress object provides a convenient way to track whether a search has finished, its result, how many nodes it has visited and generated, and how much time has elapsed.
Progress(Search) - Constructor for class edu.uky.cs.nil.sabre.search.Progress: Constructs a new progress object for a given search.
ProgressionCost - Interface in edu.uky.cs.nil.sabre.prog: A function used to measure the cost of a search node during a progression search.
ProgressionCostFactory - Interface in edu.uky.cs.nil.sabre.prog: A factory object that creates progression cost objects.
ProgressionNode<N> - Interface in edu.uky.cs.nil.sabre.prog: A progression node represents a node in a search space and its context in a progression search, such as the temporal and epistemic depth at which the node exists in that search.
ProgressionPlanner - Class in edu.uky.cs.nil.sabre.prog: A progression planner is a configurable factory object that creates progression search objects for compiled problems.
ProgressionPlanner() - Constructor for class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Constructs a new heuristic progression planner with the default name.
ProgressionPlanner(String) - Constructor for class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Constructs a new heuristic progression planner.
ProgressionPlanner.Method - Enum Class in edu.uky.cs.nil.sabre.prog: The types of progression search
ProgressionSearch - Class in edu.uky.cs.nil.sabre.prog: A progression search is a forward search through the space of states that starts as a specified initial state and runs until its finds a solution plan which increases the author's utility to or above a specified goal value and for which every action in the plan makes sense based on the beliefs and intentions of the characters who take that action.
ProgressionSearch(CompiledProblem, ProgressionCost, ProgressionCost, EventTree, ProgressionSpace, long, long, long, int, int, int, boolean) - Constructor for class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Constructs a new progression search.
ProgressionSpace<N> - Interface in edu.uky.cs.nil.sabre.prog: A progression space is a method of implementing the graph of states that is searched by a progression search.
ProgressionTree - Class in edu.uky.cs.nil.sabre.ptree: A progression tree is a large table that stores the data for each node of a progression search through the space of states.
ProgressionTree(CompiledProblem, EventTree) - Constructor for class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Constructs a new progression state space for a given problem with a default chunk size and unlimited memory budget for its big array.
ProgressionTree(CompiledProblem, EventTree, long, MemoryBudget) - Constructor for class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Constructs a new progression state space for a given problem with a given chunk size and memory budget for its big array.
ProgressionTreeSpace - Class in edu.uky.cs.nil.sabre.ptree: A progression state space modeled as a tree, meaning that the model makes no attempt to recognize when a duplicate state has been generated.
ProgressionTreeSpace(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace: Constructs a new tree-based progression state space and the underlying tree it will use.
ProgressionTreeSpace(ProgressionTree) - Constructor for class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace: Constructs a new tree-based progression state space.
PROPERTY_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a fluent
Proposition - Interface in edu.uky.cs.nil.sabre.logic: A proposition is a logical expression of type boolean.
PROPOSITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a logical proposition
prune(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch: Determines whether a search node should be pruned (that is, not visited).
prune(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Determines whether a search node should be pruned (that is, not visited).
push(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Adds a search node to the search queue.
put(K, V) - Method in class edu.uky.cs.nil.sabre.util.UniqueMap: Maps a given unique key to a given value.

Q

Quantified - Class in edu.uky.cs.nil.sabre.logic: A quantified expression is a proposition which states that a given Quantified.argument proposition holds for some number of possible values that can be substituted for a Quantified.variable.
Quantified(Quantified.Quantifier, Variable, Expression) - Constructor for class edu.uky.cs.nil.sabre.logic.Quantified: Constructs a new quantified expression.
QUANTIFIED - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a quantified expression
Quantified.Quantifier - Class in edu.uky.cs.nil.sabre.logic: A quantifier is a singleton object that specifies for how many possible values a quantifier's proposition must hold.
quantifier - Variable in class edu.uky.cs.nil.sabre.logic.Quantified: The quantifier which specifies how frequently its argument must hold
QUANTIFIER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a quantifier
queue - Variable in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: A min priority queue of search nodes that defines the order in which states are visited

R

range - Variable in class edu.uky.cs.nil.sabre.hg.ArithmeticNode: The set of possible values this expression can have and their associated costs
range - Variable in class edu.uky.cs.nil.sabre.hg.NumericFluentNode: The set of possible values this fluent can have and their associated costs
range - Variable in class edu.uky.cs.nil.sabre.hg.UtilityNode: The set of possible values this utility expression can have and their associated costs
Range - Class in edu.uky.cs.nil.sabre.hg: A range is a cost set that defines protected methods for setting the cost of a value and resetting the range to its original state.
Range() - Constructor for class edu.uky.cs.nil.sabre.hg.Range: Constructs a new, empty range.
REACHABILITY_HEURISTIC_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the reachability heuristic
ReachabilityHeuristic - Class in edu.uky.cs.nil.sabre.prog: The reachability heuristic is a cost function, meant to be used as the heuristic in a heuristic progression search, which checks only the roots of a search to determine if it is possible for them to achieve their goals.
ReachabilityHeuristic(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.prog.ReachabilityHeuristic: Constructs a new reachability heuristic.
Reachable - Class in edu.uky.cs.nil.sabre.comp: A function which maps some logical expressions to simpler expressions based on a leveled off heuristic graph.
Reachable(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.comp.Reachable: Constructs a new reachable mapping.
READ - Enum constant in enum class edu.uky.cs.nil.sabre.io.Tokenizer.Instruction: Remove the first character from the buffer and add it to the end of the current token
reduce(long) - Method in class edu.uky.cs.nil.sabre.util.MemoryBudget: Reduces the budget by the given amount (or as much as it can without going below 0) or throws an exception if the budget is completely exhausted.
register(EffectNode) - Method in class edu.uky.cs.nil.sabre.hg.FluentNode: Adds an effect node to this node's list of effect nodes that assign values to this node's fluent.
register(EffectNode) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
register(PreconditionNode) - Method in class edu.uky.cs.nil.sabre.hg.FluentNode: Adds a precondition nodes to this node's list of precondition nodes that have this node's fluent on the left.
register(PreconditionNode) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
RELAXED_PLAN_HEURISTIC_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the relaxed plan heuristic
RelaxedPlanHeuristic - Class in edu.uky.cs.nil.sabre.prog: A graph cost function, meant to be used as the heuristic in a heuristic progression search, which solves a relaxed version of the planning problem and uses the cost of the solution to that relaxed problem as an approximation of the cost of solving the real problem.
RelaxedPlanHeuristic(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Constructs a new relaxed plan heuristic.
remove(A) - Method in class edu.uky.cs.nil.sabre.logic.Clause: Removes an atom from this clause.
remove(Clause) - Method in class edu.uky.cs.nil.sabre.logic.Clause: Removes atoms from this clause if they appear, or if a more specific version appears, in the given clause, or returns the null clause if an atom in the given clause contradict this clause.
remove(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray: Returns an immutable array with all objects that are equal to a given object removed.
remove(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableList: Returns an immutable list with all objects that are equal to a given object removed.
remove(Object) - Method in class edu.uky.cs.nil.sabre.util.ImmutableSet
removeFirstCharacter() - Method in class edu.uky.cs.nil.sabre.comp.CompiledFluent
removeFirstCharacter() - Method in class edu.uky.cs.nil.sabre.comp.PrefixFluent
removeFirstCharacter() - Method in class edu.uky.cs.nil.sabre.Fluent: Returns a new fluent where the first (leftmost) character has been removed from Fluent.characters.
removeLastCharacter() - Method in class edu.uky.cs.nil.sabre.Fluent: Returns a new fluent where the last (rightmost) character has been removed from Fluent.characters.
RepeatedNodeHeuristic - Class in edu.uky.cs.nil.sabre.prog: The repeated node heuristic is a wrapper around a cost function that can improve the efficiency of a heuristic progression search by preventing it from revisiting the same node multiple times.
RepeatedNodeHeuristic(ProgressionCost) - Constructor for class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic: Constructs a new repeated node heuristic.
RepeatedNodeHeuristic.Factory - Class in edu.uky.cs.nil.sabre.prog: A factory for producing repeated node heuristics.
RepeatedRootHeuristic - Class in edu.uky.cs.nil.sabre.prog: The repeated root heuristic is similar to the repeated node heuristic, except that it only prevents a heuristic progression search from reusing the same node as a root in the search.
RepeatedRootHeuristic(ProgressionCost) - Constructor for class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic: Constructs a new repeated root heuristic.
RepeatedRootHeuristic.Factory - Class in edu.uky.cs.nil.sabre.prog: A factory for producing repeated root heuristics.
replace(Object, Object) - Method in class edu.uky.cs.nil.sabre.logic.HashSubstitution: Maps an original object to a replacement object in this substitution's hash map and then returns this substitution.
replace(Object, Object) - Method in interface edu.uky.cs.nil.sabre.logic.Substitution: Returns a substitution in which maps a given original object to a given replacement.
require(Class) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Returns the most recently defined object of a given type or throws an exception if one does not exist.
require(String) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Returns the most recently defined object with a given name or throws an exception if one does not exist.
require(String) - Method in class edu.uky.cs.nil.sabre.util.CommandLineArguments: Returns the value immediately after a given key, or throws an exception if the key is not found.
require(String, Class) - Method in class edu.uky.cs.nil.sabre.io.Definitions: Returns the most recently defined object with a given name and of a given type or throws an exception if one does not exist.
reset() - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode
reset() - Method in class edu.uky.cs.nil.sabre.hg.ArrayRange
reset() - Method in class edu.uky.cs.nil.sabre.hg.ClauseNode
reset() - Method in class edu.uky.cs.nil.sabre.hg.CostNode
reset() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Resets event node in the graph so that all costs are positive infinity, except for costs which are trivially 0 (the constant node representing true and the clause node representing the empty clause).
reset() - Method in class edu.uky.cs.nil.sabre.hg.Node: Returns this node to its default state.
reset() - Method in class edu.uky.cs.nil.sabre.hg.NumericFluentNode
reset() - Method in class edu.uky.cs.nil.sabre.hg.Range: Returns this cost set to its default state, which is an empty set where every value has infinite cost.
reset() - Method in class edu.uky.cs.nil.sabre.hg.UtilityNode
rest - Variable in class edu.uky.cs.nil.sabre.HeadPlan: All but the first action in the plan
rest - Variable in class edu.uky.cs.nil.sabre.SolutionPlan: The rest of the solution after the first action
rest - Variable in class edu.uky.cs.nil.sabre.TailPlan: All but the last action in the plan
rest - Variable in class edu.uky.cs.nil.sabre.util.ImmutableList: All but the first element of the list
result - Variable in class edu.uky.cs.nil.sabre.Session: The search's most recent result
Result<A> - Class in edu.uky.cs.nil.sabre.search: A result object summarizes information about the outcome of a search (like the solution it found) and the effort spent reaching that outcome (like the number of nodes visited and the time spent searching).
Result(Problem, State, Number, Solution, Number, String, int, int, long) - Constructor for class edu.uky.cs.nil.sabre.search.Result: Constructs a new result.
Result(Search, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.search.Result: Performs a search and constructs a result based on the outcome.
RESULT - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the search's most recent result object
right - Variable in class edu.uky.cs.nil.sabre.hg.ArithmeticNode: The node representing the right side of the arithmetic expression
right - Variable in class edu.uky.cs.nil.sabre.logic.Arithmetic: The right numeric expression
right - Variable in class edu.uky.cs.nil.sabre.logic.Comparison: The right side expression
root - Variable in class edu.uky.cs.nil.sabre.graph.StateGraph: The first state represented by this graph (such as a problem's initial state)
roundUp(double) - Static method in class edu.uky.cs.nil.sabre.Utilities: Rounds a double up to the nearest whole number.
run(Progress, Worker.Status) - Method in class edu.uky.cs.nil.sabre.search.Search: This method searches for the next solution, resuming where the previous call left off (unless Search.setStart(State) has been called to reset the search).
run(Progress, Worker.Status) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
run(Worker.Runner) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Runner, printing a status update to standard output with the default frequency until the runner is done or an exception is thrown.
run(Worker.Runner, int, TimeUnit) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Runner, printing a status update to standard output with a given frequency until the runner is done or an exception is thrown.
run(Worker.Runner, Worker.Status) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Runner, printing a status update from a given status to standard output with default frequency until the runner is done or an exception is thrown.
run(Worker.Runner, Worker.Status, int, TimeUnit) - Static method in class edu.uky.cs.nil.sabre.util.Worker: Runs a Worker.Runner, printing a status update from a given status to standard output with a given frequency until the runner is done or an exception is thrown.
run(Worker.Status) - Method in interface edu.uky.cs.nil.sabre.util.Worker.Runner: This method runs for a long time.

S

search - Variable in class edu.uky.cs.nil.sabre.Session: The session's search
Search<A> - Class in edu.uky.cs.nil.sabre.search: A search represents the process of finding one or more plans that are solutions to a planning problem.
Search(Problem, long, long, long, int, int, int) - Constructor for class edu.uky.cs.nil.sabre.search.Search: Constructs a new search with a given problem and settings.
SEARCH - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's search object
SEARCH_LIMIT - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the planner's search limit setting
SEARCH_LIMIT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the search limit
SearchException - Exception Class in edu.uky.cs.nil.sabre.search: A search exception is a RuntimeException that will be caught if it is thrown while a search is running.
SearchException(String) - Constructor for exception class edu.uky.cs.nil.sabre.search.SearchException: Constructs a new search exception with a given message.
SearchException(String, Throwable) - Constructor for exception class edu.uky.cs.nil.sabre.search.SearchException: Constructs a new search exception with a given message and cause.
searchLimit - Variable in class edu.uky.cs.nil.sabre.search.Search: The maximum number of nodes which may be visited while finding one solution.
Selection - Class in edu.uky.cs.nil.sabre.io: A parsing pattern that attempts to match a sequence of tokens to any pattern in an ordered list of patterns.
Selection(Pattern...) - Constructor for class edu.uky.cs.nil.sabre.io.Selection: Constructs a new selection pattern.
Sentinel - Class in edu.uky.cs.nil.sabre.io: A sentinel is a parsing pattern composed of a sequence of patterns such that two non-keyword patterns never appear next to one another.
Sentinel(Object...) - Constructor for class edu.uky.cs.nil.sabre.io.Sentinel: Constructs a new sentinel pattern from a sequence of objects, each of which will be converted into a pattern.
separator - Variable in class edu.uky.cs.nil.sabre.io.List: A keyword that separates the elements in the list
Session - Class in edu.uky.cs.nil.sabre: A session gathers several important elements together and provides a single way for them to interact with each other: a parser and printer to read and write, a problem being solved, a planner and its current search, etc.
Session() - Constructor for class edu.uky.cs.nil.sabre.Session: Constructs a new session with a default parser, default printer, and a heuristic progression planner.
set(long, long) - Method in class edu.uky.cs.nil.sabre.util.BigArrayLong: Sets the long value at the given index to the given value.
setAuthorTemporalLimit(int) - Method in class edu.uky.cs.nil.sabre.search.Planner: Sets the author temporal limit for any searches created by this planner.
setAuthorTemporalLimit(int) - Method in class edu.uky.cs.nil.sabre.Session: Sets the current planner's author temporal limit and removes the current search, most recent result, etc.
setBuilder(Symbol, Builder) - Method in class edu.uky.cs.nil.sabre.io.Parser: Sets the builder that will be used to create objects from parse trees when parsing text as a given symbol.
setCharacterTemporalLimit(int) - Method in class edu.uky.cs.nil.sabre.search.Planner: Sets the character temporal limit for any searches created by this planner.
setCharacterTemporalLimit(int) - Method in class edu.uky.cs.nil.sabre.Session: Sets the current planner's character temporal limit and removes the current search, most recent result, etc.
setComment(String) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Sets the comment associated with the problem.
setCompiledProblem(Problem) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current compiled problem and removes the session's current state, current search, latest result, etc.
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.ActionNode
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.ClauseNode
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.CostNode: Sets the cost of this node's logical formula being true.
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.DisjunctionNode
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.EffectNode
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.EventNode
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.GoalNode
setCost(double) - Method in class edu.uky.cs.nil.sabre.hg.PreconditionNode
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode: Sets the cost of this node's arithmetic expression having the given value.
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.ArrayRange
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.ConstantNode: Does nothing and returns false.
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.FluentNode: Sets the cost of this node's fluent having the given value.
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.FormulaNode: Sets the cost of this node's logical formula having the given value.
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.InfiniteSpan
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.NumericFluentNode
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.Range: Sets the costs to be associated with a given value.
setCost(Value, double) - Method in class edu.uky.cs.nil.sabre.hg.UtilityNode: Sets the cost of this node's utility expression having the given value.
setCost(ProgressionCostFactory) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Sets the factory that should be used to create the cost used by the searches this planner will create.
setCost(ProgressionCostFactory) - Method in class edu.uky.cs.nil.sabre.Session: Sets the cost function used by a heuristic progression planner, if the current planner is that type.
setEntityComment(String, String) - Method in class edu.uky.cs.nil.sabre.UniverseBuilder: Sets the comment associated with the given entity.
setEpistemicLimit(int) - Method in class edu.uky.cs.nil.sabre.search.Planner: Sets the epistemic limit for any searches created by this planner.
setEpistemicLimit(int) - Method in class edu.uky.cs.nil.sabre.Session: Sets the current planner's epistemic limit and removes the current search, most recent result, etc.
setExplanation(Solution) - Method in interface edu.uky.cs.nil.sabre.Solution: Sets an explanation for the first action of this solution.
setExplanation(Solution) - Method in class edu.uky.cs.nil.sabre.SolutionGoal
setExplanation(Solution) - Method in class edu.uky.cs.nil.sabre.SolutionPlan
setExplanationPruning(boolean) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Sets whether explanation pruning will be used in the searches this planner creates.
setExplanationPruning(boolean) - Method in class edu.uky.cs.nil.sabre.Session: Sets the explanation pruning setting used by a heuristic progression planner, if the current planner is that type.
setGoal(double) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current goal using a Java double.
setGoal(Number) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
setGoal(Number) - Method in class edu.uky.cs.nil.sabre.search.Search: Sets the author utility value that a solution plan must reach or exceed to be considered a solution by this search.
setGoal(Number) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current goal.
setHeuristic(ProgressionCostFactory) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Sets the factory that should be used to create the heuristic used by the searches this planner will create.
setHeuristic(ProgressionCostFactory) - Method in class edu.uky.cs.nil.sabre.Session: Sets the heuristic function used by a heuristic progression planner, if the current planner is that type.
setMessage(String) - Method in class edu.uky.cs.nil.sabre.util.Worker.Status: Sets the message this status object will display.
setMessage(String, Object...) - Method in class edu.uky.cs.nil.sabre.util.Worker.Status: Sets the format of the message this status object will display.
setMethod(ProgressionPlanner.Method) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner: Sets the search method that this planner will use to solve problems.
setMethod(ProgressionPlanner.Method) - Method in class edu.uky.cs.nil.sabre.Session: Sets the search method used by a heuristic progression planner, if the current planner is that type.
setName(String) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Sets the name of the problem.
setParser(Parser) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current parser.
setPlanner(Planner) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current planner and removes the session's current compiled problem, current search, latest result, etc.
setPrinter(Printer) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current printer.
setPrinter(Class, ObjectPrinter) - Method in class edu.uky.cs.nil.sabre.io.Printer: Associates an object printer with a Java class.
setProblem(Problem) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current problem and removes the session's current compiled problem, current state, current goal, current search, latest result, etc.
setProblem(File) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current problem after parsing a given file using the session's parser.
setResult(Result) - Method in class edu.uky.cs.nil.sabre.Session: Sets the result of the most recent run of the current search.
setRule(NonTerminal, Pattern) - Method in class edu.uky.cs.nil.sabre.io.Parser: Sets the pattern this parser will try to match tokens against when parsing text as the given non-terminal symbol.
setSearch(Search) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current search, and removes the most recent result, etc.
setSearchLimit(long) - Method in class edu.uky.cs.nil.sabre.search.Planner: Sets the maximum number of nodes that a search may visit when searching for a solution.
setSearchLimit(long) - Method in class edu.uky.cs.nil.sabre.Session: Sets the current planner's search limit and removes the current search, most recent result, etc.
setSolution(Solution, Number) - Method in class edu.uky.cs.nil.sabre.search.Progress: This method is called from this progress's search each time a plan which improves author's utility above the search's initial state is found.
setSpaceLimit(long) - Method in class edu.uky.cs.nil.sabre.search.Planner: Sets the maximum number of nodes that a search may generate while searching for a solution.
setSpaceLimit(long) - Method in class edu.uky.cs.nil.sabre.Session: Sets the current planner's space limit and removes the current search, most recent result, etc.
setStart(State) - Method in class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch
setStart(State) - Method in class edu.uky.cs.nil.sabre.prog.GoalFirstSearch
setStart(State) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
setStart(State) - Method in class edu.uky.cs.nil.sabre.search.Search: Sets the initial state of the world from which a solution plan must be executable.
setState(State) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current state (the state from which planning will begin).
setStatus(Worker.Status) - Method in class edu.uky.cs.nil.sabre.Session: Sets the session's current status object, to which updates will be written when the session is modified, when a problem is being compiled, when the search is running, and during other time-consuming operations.
setStatus(Worker.Status, Progress) - Method in class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch
setStatus(Worker.Status, Progress) - Method in class edu.uky.cs.nil.sabre.prog.GoalFirstSearch
setStatus(Worker.Status, Progress) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Sets the message and parameters of the status that will be updated during the search.
setTimeLimit(long) - Method in class edu.uky.cs.nil.sabre.search.Planner: Sets the maximum number of milliseconds which may elapse while searching for a solution.
setTimeLimit(long) - Method in class edu.uky.cs.nil.sabre.Session: Sets the current planner's time limit and removes the current search, most recent result, etc.
Settings - Class in edu.uky.cs.nil.sabre: Important settings and keywords.
setTokenizer(Tokenizer) - Method in class edu.uky.cs.nil.sabre.io.Parser: Sets this parser's tokenizer.
setTypeComment(String, String) - Method in class edu.uky.cs.nil.sabre.UniverseBuilder: Sets the comment associated with the given type.
setUtility(Character, Conditional) - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Defines a utility node for the given character using the given utility expression.
setUtility(Character, Expression) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Sets the utility function for a given character.
setUtility(Expression) - Method in class edu.uky.cs.nil.sabre.ProblemBuilder: Sets the author utility function.
signature - Variable in class edu.uky.cs.nil.sabre.Action: Identifies the action's name and arguments
signature - Variable in class edu.uky.cs.nil.sabre.Fluent: The name and arguments that identify the fluent
signature - Variable in class edu.uky.cs.nil.sabre.Trigger: Identifies the trigger's name and arguments
Signature - Class in edu.uky.cs.nil.sabre: A signature is a name followed by an ordered list of zero to many arguments.
Signature(String, Parameter...) - Constructor for class edu.uky.cs.nil.sabre.Signature: Constructs a new signature from an array of arguments.
Signature(String, ImmutableArray) - Constructor for class edu.uky.cs.nil.sabre.Signature: Constructs a new signature.
Signature(String, Iterable) - Constructor for class edu.uky.cs.nil.sabre.Signature: Constructs a new signature from an Iterable of arguments.
SIGNATURE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the signature of a fluent or event
SIGNATURE_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a signature
Signed - Interface in edu.uky.cs.nil.sabre: An interface for anything which has a Signature.
Simplifiable - Interface in edu.uky.cs.nil.sabre.logic: A simplifiable logical formula is one which can possibly be converted into a logically equivalent but smaller, simpler, or more convenient form via the Simplifiable.simplify() method.
Simplifier - Class in edu.uky.cs.nil.sabre.comp: First applies any triggers that are satisfied in a problem's initial state and then removes compiled events which can never occur and propositions which are always true or always false from a compiled problem, possibly making it smaller and simpler.
simplify() - Method in class edu.uky.cs.nil.sabre.Action
simplify() - Method in class edu.uky.cs.nil.sabre.Character
simplify() - Method in class edu.uky.cs.nil.sabre.comp.CompiledAction
simplify() - Method in interface edu.uky.cs.nil.sabre.comp.CompiledEvent
simplify() - Method in class edu.uky.cs.nil.sabre.comp.CompiledFluent
simplify() - Method in class edu.uky.cs.nil.sabre.comp.CompiledTrigger
simplify() - Method in class edu.uky.cs.nil.sabre.Entity
simplify() - Method in interface edu.uky.cs.nil.sabre.Event
simplify() - Method in class edu.uky.cs.nil.sabre.Fluent
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
simplify() - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Assignment
simplify() - Method in interface edu.uky.cs.nil.sabre.logic.Atom
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Clause: Clauses are simplified incrementally as atoms are added or removed, so this method always returns this object itself with no changes.
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Comparison
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Conditional
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction: If any argument to this conjunction can be simplified to false, this method returns false.
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction: If any argument to this disjunction can be simplified to true, this method returns true.
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Effect
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
simplify() - Method in interface edu.uky.cs.nil.sabre.logic.Expression
simplify() - Method in class edu.uky.cs.nil.sabre.logic.False
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Negation: This method first simplifies the negation's argument.
simplify() - Method in interface edu.uky.cs.nil.sabre.logic.Parameter
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Precondition
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Quantified
simplify() - Method in interface edu.uky.cs.nil.sabre.logic.Simplifiable: Returns a logically equivalent but smaller, simpler, or more convenient form of this logical formula.
simplify() - Method in class edu.uky.cs.nil.sabre.logic.True
simplify() - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Unknown
simplify() - Method in interface edu.uky.cs.nil.sabre.logic.Value
simplify() - Method in class edu.uky.cs.nil.sabre.logic.Variable
simplify() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
simplify() - Method in interface edu.uky.cs.nil.sabre.Mapping
simplify() - Method in class edu.uky.cs.nil.sabre.Number
simplify() - Method in class edu.uky.cs.nil.sabre.Trigger
simplify(Expression, Expression) - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic.Operator: If an arithmetic expression using this operator and the given left and right values can be simplified (for example, if the left and right values are both values), this method returns the simplified expression.
simplify(Expression, Expression) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator
simplify(Expression, Expression) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.Operator: If a comparison using this operator with the given left and right expressions can be simplified, this method returns the simplified expression; otherwise it returns null.
Single - Class in edu.uky.cs.nil.sabre.io: A single is a terminal symbol that matches exactly one token.
Single() - Constructor for class edu.uky.cs.nil.sabre.io.Single: Constructs a new single terminal symbol pattern.
size - Variable in class edu.uky.cs.nil.sabre.util.MemoryBudget: The size of the budget in bytes
size() - Method in class edu.uky.cs.nil.sabre.HeadPlan
size() - Method in class edu.uky.cs.nil.sabre.hg.ArithmeticNode
size() - Method in class edu.uky.cs.nil.sabre.hg.ArrayRange
size() - Method in class edu.uky.cs.nil.sabre.hg.ConstantNode
size() - Method in class edu.uky.cs.nil.sabre.hg.List
size() - Method in class edu.uky.cs.nil.sabre.hg.NominalFluentNode
size() - Method in class edu.uky.cs.nil.sabre.hg.NumericFluentNode
size() - Method in class edu.uky.cs.nil.sabre.hg.UtilityNode
size() - Method in class edu.uky.cs.nil.sabre.io.ParseTree: Returns the number of children this tree has.
size() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
size() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
size() - Method in interface edu.uky.cs.nil.sabre.prog.ProgressionSpace: Returns the total number of states in the whole state space.
size() - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns the number of nodes in the state space.
size() - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTreeSpace
size() - Method in class edu.uky.cs.nil.sabre.SolutionGoal
size() - Method in class edu.uky.cs.nil.sabre.SolutionPlan
size() - Method in class edu.uky.cs.nil.sabre.TailPlan
size() - Method in interface edu.uky.cs.nil.sabre.util.Countable: Returns the number of elements in this collection
size() - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray
size() - Method in class edu.uky.cs.nil.sabre.util.ImmutableList
size() - Method in class edu.uky.cs.nil.sabre.util.UniqueMap
solution - Variable in class edu.uky.cs.nil.sabre.search.Result: The solution found by the search
Solution<A> - Interface in edu.uky.cs.nil.sabre: A solution is a plan for an character to achieve a goal that also includes explanations for every action in the plan.
SOLUTION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a solution
SOLUTION - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the solution returned the most recent result
SOLUTION_AUTHOR_GOAL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the author's goal at the end of a solution
SOLUTION_BRANCH - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a branch explaining an action in a solution
SOLUTION_CHARACTER_GOAL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a character's goal in a solution
SOLUTION_CHARACTER_GOAL_WITH_TAIL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a character's goal followed by the rest of a solution
SOLUTION_GOAL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the author's goal or a character's goal in a solution
SOLUTION_PLAN - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing an action in a solution followed by the rest of a solution
SOLUTION_TAIL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a rest of a solution
Solution.SolutionIterator<A> - Class in edu.uky.cs.nil.sabre: A solution iterator iterates through the actions in a solution.
SolutionGoal<A> - Class in edu.uky.cs.nil.sabre: An empty solution that specifies an character and goal and can be used as a starting point for building non-empty solutions by prepending actions.
SolutionGoal(Character, Expression) - Constructor for class edu.uky.cs.nil.sabre.SolutionGoal: Constructs a new solution goal with the given character and goal.
SolutionGoal(Expression) - Constructor for class edu.uky.cs.nil.sabre.SolutionGoal: Constructs a new solution goal for the author with the given goal expression.
SolutionIterator(Solution) - Constructor for class edu.uky.cs.nil.sabre.Solution.SolutionIterator: Constructs a new solution iterator.
SolutionPlan<A> - Class in edu.uky.cs.nil.sabre: A solution that specifies a first action, explanations for that action, and the rest of a solution.
SolutionPlan(A, Solution) - Constructor for class edu.uky.cs.nil.sabre.SolutionPlan: Constructs a new solution plan with the given first action and the rest of the solution after the first action.
SolutionPlan(A, ImmutableArray, Solution) - Constructor for class edu.uky.cs.nil.sabre.SolutionPlan: Constructs a new solution plan with the given first action, list of explanations, and the rest of the solution after the first action.
space - Variable in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: A underlying model of states used in the search
SPACE_LIMIT - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the planner's space limit setting
SPACE_LIMIT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the space limit
spaceLimit - Variable in class edu.uky.cs.nil.sabre.search.Search: The maximum number of nodes which may be generated while finding one solution.
Span - Class in edu.uky.cs.nil.sabre.hg: An implementation of range that supports numeric values.
Span() - Constructor for class edu.uky.cs.nil.sabre.hg.Span: Constructs a new numeric span.
start - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: The initial state of the problem before planning begins
start - Variable in class edu.uky.cs.nil.sabre.search.Result: The initial state the search started from
state - Variable in class edu.uky.cs.nil.sabre.Beliefs: The state in which the character has beliefs
state - Variable in class edu.uky.cs.nil.sabre.Session: The session's current state, from which plans will start
State - Interface in edu.uky.cs.nil.sabre: A state is any function which can map fluents to values.
STATE - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's state object
StateGraph - Class in edu.uky.cs.nil.sabre.graph: A state graph is made up of nodes which are world states that are liked by two kinds of edges: epistemic edges that define what each character believes the world state to be, and temporal edges that define how the world state changes as a result of an event.
StateGraph(CompiledProblem) - Constructor for class edu.uky.cs.nil.sabre.graph.StateGraph: Constructs a new state graph based on a compiled planning problem and using the problem's state state as the graph's root state.
StateGraph(Problem, FiniteState) - Constructor for class edu.uky.cs.nil.sabre.graph.StateGraph: Constructs a new state graph based on a compiled planning problem.
StateGraph(ImmutableSet, ImmutableSet, Expression, Mapping, Iterable, FiniteState) - Constructor for class edu.uky.cs.nil.sabre.graph.StateGraph: Constructs a new state graph that tracks a given set of fluents, characters, utility functions, and triggers, and which starts in a given state.
StateNode - Class in edu.uky.cs.nil.sabre.graph: A state node represents an assignment of a value to every fluent tracked by a state graph as well as the beliefs of every character tracked by the graph.
status - Variable in class edu.uky.cs.nil.sabre.etree.EventTreeStatus: The status object this object will update
status - Variable in class edu.uky.cs.nil.sabre.Session: The session's status object, to which status update messages will be written
Status() - Constructor for class edu.uky.cs.nil.sabre.util.Worker.Status: Constructs a new status with a default message and no arguments.
Status(String, Object...) - Constructor for class edu.uky.cs.nil.sabre.util.Worker.Status: Constructs a new status with a given message and arguments.
STATUS - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the session's status object
STRING - Static variable in class edu.uky.cs.nil.sabre.io.Terminal: A terminal symbol that matches a string literal, which must begin and end with a double quotation mark character.
subgraph - Variable in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic: Records which nodes from the graph are part of the relaxed solution
substitute(Object, Object) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Recursively replaces one object in this logical formula (and in every part of this formula, and the parts of their parts, etc.) and then creates a new logical formula of this same type using the new parts.
substitute(Function) - Method in interface edu.uky.cs.nil.sabre.logic.Logical: Recursively applies a given function to every part of this logical formula (and to every part of those parts, etc.) and then creates a new logical formula of this same type using the results returned by the function.
Substitution - Interface in edu.uky.cs.nil.sabre.logic: A substitution is a function which maps one set of objects to other objects that will replace them.
substitutionCount(int, int) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when the number of original objects in a substitution does not match the number of replacement objects.
subtract(Number) - Method in class edu.uky.cs.nil.sabre.Number: Returns a new number which is the difference of this number and the given second number.
SUBTRACT - Static variable in class edu.uky.cs.nil.sabre.logic.Arithmetic: An arithmetic operator for subtracting the right side of an arithmetic expression from the left.
SUBTRACT_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the subtraction operator
SUBTRACTION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a subtraction arithmetic expression
SUBTRACTION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the subtraction operator
SUCCESS - Static variable in class edu.uky.cs.nil.sabre.Session: A name for whether or not the most recent result succeeded in solving the problem
SUM - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a summation expansion
SUM - Static variable in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: Iteratively applies the addition operator to a series of numeric expressions.
SUM - Static variable in class edu.uky.cs.nil.sabre.prog.GraphHeuristic: A factory for producing sum graph heuristics, which define the cost of a proposition to be the sum of the cost of its parts.
SUM_HEURISTIC_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the sum graph heuristic
SUM_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for summation
SUM_OPERATOR - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the summation operator
SumGraph - Class in edu.uky.cs.nil.sabre.hg: A sum graph is a heuristic graph where the cost of a conjunction is defined to be the sum of the cost of its conjuncts.
SumGraph(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.hg.SumGraph: Constructs a new sum graph which contains nodes for every fluent, event, and utility in a given problem.
SumGraph(Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.hg.SumGraph: Constructs a new sum graph which contains only the nodes representing false, true, and the empty clause.
SumGraphHeuristic(CompiledProblem, Worker.Status) - Constructor for class edu.uky.cs.nil.sabre.prog.GraphHeuristic.SumGraphHeuristic: Constructs a new sum graph heuristic and its sum graph.
SumGraphHeuristic(SumGraph) - Constructor for class edu.uky.cs.nil.sabre.prog.GraphHeuristic.SumGraphHeuristic: Constructs a new sum graph heuristic from a given sum graph.
surprise(State, Event, State) - Static method in class edu.uky.cs.nil.sabre.graph.DummyAction: A surprise action is a dummy action used to update an character's beliefs when the character observes an action which they don't believe is possible.
Symbol - Class in edu.uky.cs.nil.sabre.io: There are two kinds of symbols that can be used to define a grammar for a parser to follow: terminal symbols that represent primitive elements that cannot be broken down any further and non-terminal symbols that represent complex patterns that can be broken down further.
SYMBOL - Static variable in class edu.uky.cs.nil.sabre.io.Terminal: A terminal symbol that matches any token which is not a name, not a number, and not a string literal.
symbols - Variable in class edu.uky.cs.nil.sabre.io.Tokenizer: A set of special symbols which are always their own token regardless of whitespace

T

table - Variable in class edu.uky.cs.nil.sabre.comp.CompiledMapping: An array that stores the expressions in this mapping, where the expression for each character is in the index corresponding to the ID number for that character
TailPlan<A> - Class in edu.uky.cs.nil.sabre: A plan which is built by appending actions on to the end.
TEMPORAL - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCost: A cost function that returns the temporal depth of the the node it is evaluating, which is the number of actions that have been taken since the initial state.
TEMPORAL - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCostFactory: A progression cost factory that always returns the temporal depth.
TEMPORAL_COST_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the temporal depth function
TemporalEdge - Class in edu.uky.cs.nil.sabre.graph: A temporal edge is an edge whose parent is the world state before an event occurred and whose child is the world state after the event occurred.
Terminal - Class in edu.uky.cs.nil.sabre.io: A terminal symbol is a primitive element in a grammar used by a parser which cannot be broken down into smaller parts.
test(Value, Value) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator
test(Value, Value) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.Operator: Tests whether the relationship represented by this operator holds between two values which appear on the left and right of a comparison.
test(Number, Number) - Method in class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator: Tests whether the relationship represented by this numeric operator holds between two numbers which appear on the left and right of a comparison.
test(State) - Method in interface edu.uky.cs.nil.sabre.logic.Proposition: Tests whether this proposition evaluates to true in the given state.
time - Variable in class edu.uky.cs.nil.sabre.search.Result: The number of milliseconds elapsed during the search
time(long) - Static method in class edu.uky.cs.nil.sabre.Utilities: Converts a number of milliseconds into a short string representation that gives the numbers of days, hours, minutes, seconds, and milliseconds.
TIME_LIMIT - Static variable in class edu.uky.cs.nil.sabre.Session: A name for the planner's time limit setting
TIME_LIMIT_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for the time limit
timeLimit - Variable in class edu.uky.cs.nil.sabre.search.Search: The maximum number of milliseconds that may elapse while finding one solution.
TITLE - Static variable in class edu.uky.cs.nil.sabre.Settings: The full name of this software library
toArray(Iterable, Class) - Static method in class edu.uky.cs.nil.sabre.Utilities: Iterates through all elements of an iterable and places them into an array of a given type.
toEffect() - Method in class edu.uky.cs.nil.sabre.Fluent
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Assignment
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Clause
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Comparison
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Converts this conditional expression to disjunctive normal form, but since the order of conditions may no longer be forced in the resulting clause, the conditions are serialized.
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Effect
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
toEffect() - Method in interface edu.uky.cs.nil.sabre.logic.Expression: Converts an expression whose type is boolean to disjunctive normal form (DNF) suitable to appear in the deterministic effect of an event.
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.False: Returns the null clause.
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Negation
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Quantified
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.True: Returns the empty clause.
toEffect() - Method in class edu.uky.cs.nil.sabre.logic.Variable
Token - Class in edu.uky.cs.nil.sabre.io: A token is a single unit of input text, such as a keyword, symbol, bracket, string literal, number, or operator.
TOKEN - Static variable in class edu.uky.cs.nil.sabre.io.Terminal: A terminal symbol that matches any single token.
tokenize(Reader) - Method in class edu.uky.cs.nil.sabre.io.Parser: Reads all text from a reader and converts it to a list of tokens using this parser's tokenizer.
tokenize(Reader) - Method in class edu.uky.cs.nil.sabre.io.Tokenizer: Reads every character of input from a reader and converts them into a list of tokens.
Tokenizer - Class in edu.uky.cs.nil.sabre.io: A tokenizer converts an input stream of text into a list of tokens, which are meaningful units of text annotated with where they occurred in the stream and any comments associated with them.
Tokenizer() - Constructor for class edu.uky.cs.nil.sabre.io.Tokenizer: Constructs a new tokenizer with the default set of symbols.
Tokenizer(Iterable) - Constructor for class edu.uky.cs.nil.sabre.io.Tokenizer: Constructs a new tokenizer with the given list of symbols.
Tokenizer(String...) - Constructor for class edu.uky.cs.nil.sabre.io.Tokenizer: Constructs a new tokenizer with the given array of symbols.
Tokenizer.Instruction - Enum Class in edu.uky.cs.nil.sabre.io: Represents the three basic operations the tokenizer can perform while processing input text.
tokens - Variable in exception class edu.uky.cs.nil.sabre.io.ParseException: The tokens being parsed when the exception occurred
tokens - Variable in class edu.uky.cs.nil.sabre.io.ParseTree: The sequence of tokens that matches the pattern
toMap(Iterable) - Static method in class edu.uky.cs.nil.sabre.etree.EventTreeBuilder: Converts a collection of events into a map which maps each event to its precondition.
toPattern(Object) - Static method in interface edu.uky.cs.nil.sabre.io.Pattern: A convenience method for easily creating common patters from single objects.
toPrecondition() - Method in class edu.uky.cs.nil.sabre.Fluent
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Comparison
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Conditional: Converts this conditional expression to disjunctive normal form, but since the order of conditions may no longer be enforced in the resulting disjunction, the conditions are serialized.
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
toPrecondition() - Method in interface edu.uky.cs.nil.sabre.logic.Expression: Converts an expression whose type is boolean to disjunctive normal form (DNF) suitable to appear in the precondition of an event.
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.False: Returns itself, because false is in disjunctive normal form.
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Negation
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Precondition
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Quantified
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.True: Returns itself, because true is in disjunctive normal form.
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
toPrecondition() - Method in class edu.uky.cs.nil.sabre.logic.Variable
toString() - Method in class edu.uky.cs.nil.sabre.Action
toString() - Method in class edu.uky.cs.nil.sabre.Beliefs
toString() - Method in class edu.uky.cs.nil.sabre.comp.CompiledMapping
toString() - Method in class edu.uky.cs.nil.sabre.comp.CompiledProblem
toString() - Method in class edu.uky.cs.nil.sabre.Entity
toString() - Method in class edu.uky.cs.nil.sabre.etree.EventTree
toString() - Method in class edu.uky.cs.nil.sabre.Fluent
toString() - Method in class edu.uky.cs.nil.sabre.graph.Edge
toString() - Method in class edu.uky.cs.nil.sabre.graph.StateNode
toString() - Method in class edu.uky.cs.nil.sabre.HeadPlan
toString() - Method in class edu.uky.cs.nil.sabre.hg.CostSet.Entry
toString() - Method in class edu.uky.cs.nil.sabre.hg.HeuristicGraph
toString() - Method in class edu.uky.cs.nil.sabre.hg.Node
toString() - Method in class edu.uky.cs.nil.sabre.hg.Range
toString() - Method in class edu.uky.cs.nil.sabre.InitialState
toString() - Method in class edu.uky.cs.nil.sabre.io.Keyword
toString() - Method in class edu.uky.cs.nil.sabre.io.List
toString() - Method in class edu.uky.cs.nil.sabre.io.NonTerminal
toString() - Method in class edu.uky.cs.nil.sabre.io.ParseTree
toString() - Method in class edu.uky.cs.nil.sabre.io.Selection
toString() - Method in class edu.uky.cs.nil.sabre.io.Sentinel
toString() - Method in class edu.uky.cs.nil.sabre.io.Token
toString() - Method in class edu.uky.cs.nil.sabre.logic.Arithmetic
toString() - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
toString() - Method in class edu.uky.cs.nil.sabre.logic.Assignment
toString() - Method in class edu.uky.cs.nil.sabre.logic.Comparison
toString() - Method in class edu.uky.cs.nil.sabre.logic.Conditional
toString() - Method in class edu.uky.cs.nil.sabre.logic.Conjunction
toString() - Method in class edu.uky.cs.nil.sabre.logic.Disjunction
toString() - Method in class edu.uky.cs.nil.sabre.logic.Effect
toString() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
toString() - Method in class edu.uky.cs.nil.sabre.logic.False
toString() - Method in class edu.uky.cs.nil.sabre.logic.Negation
toString() - Method in class edu.uky.cs.nil.sabre.logic.Quantified
toString() - Method in class edu.uky.cs.nil.sabre.logic.True
toString() - Method in class edu.uky.cs.nil.sabre.logic.TypeConstraint
toString() - Method in class edu.uky.cs.nil.sabre.logic.Unknown
toString() - Method in class edu.uky.cs.nil.sabre.logic.Variable
toString() - Method in class edu.uky.cs.nil.sabre.Mapping.Function
toString() - Method in class edu.uky.cs.nil.sabre.Mapping.Predicate
toString() - Method in class edu.uky.cs.nil.sabre.Number
toString() - Method in class edu.uky.cs.nil.sabre.Problem
toString() - Method in class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch
toString() - Method in class edu.uky.cs.nil.sabre.prog.GoalFirstSearch
toString() - Method in class edu.uky.cs.nil.sabre.prog.GraphHeuristic.MaxGraphHeuristic
toString() - Method in class edu.uky.cs.nil.sabre.prog.GraphHeuristic.SumGraphHeuristic
toString() - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
toString() - Method in class edu.uky.cs.nil.sabre.prog.ReachabilityHeuristic
toString() - Method in class edu.uky.cs.nil.sabre.prog.RelaxedPlanHeuristic
toString() - Method in class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic.Factory
toString() - Method in class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic
toString() - Method in class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic.Factory
toString() - Method in class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic
toString() - Method in class edu.uky.cs.nil.sabre.prog.WeightedCost.Factory
toString() - Method in class edu.uky.cs.nil.sabre.prog.WeightedCost
toString() - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree
toString() - Method in class edu.uky.cs.nil.sabre.search.Planner
toString() - Method in class edu.uky.cs.nil.sabre.search.Result
toString() - Method in class edu.uky.cs.nil.sabre.search.Search
toString() - Method in class edu.uky.cs.nil.sabre.Session
toString() - Method in class edu.uky.cs.nil.sabre.Signature
toString() - Method in class edu.uky.cs.nil.sabre.SolutionGoal
toString() - Method in class edu.uky.cs.nil.sabre.SolutionPlan
toString() - Method in class edu.uky.cs.nil.sabre.TailPlan
toString() - Method in class edu.uky.cs.nil.sabre.Trigger
toString() - Method in class edu.uky.cs.nil.sabre.Type
toString() - Method in class edu.uky.cs.nil.sabre.Universe
toString() - Method in class edu.uky.cs.nil.sabre.util.BigArrayLong
toString() - Method in class edu.uky.cs.nil.sabre.util.ImmutableArray
toString() - Method in class edu.uky.cs.nil.sabre.util.ImmutableList
toString() - Method in class edu.uky.cs.nil.sabre.util.MemoryBudget
toString() - Method in class edu.uky.cs.nil.sabre.util.UniqueMap
toString() - Method in class edu.uky.cs.nil.sabre.util.Worker.Status
toString(long) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Returns a string with detailed information about the data for a node.
toString(long) - Static method in class edu.uky.cs.nil.sabre.util.MemoryBudget: Returns a string representation of a number of bytes using abbreviations to approximate large amounts: B for 1 byte k for 1000 bytes M for 1000 k G for 1000 M T for 1000 G P for 1000 T E for 1000 P The string returned may not be an exact representation of the number.
toString(Object) - Method in class edu.uky.cs.nil.sabre.io.Printer: Converts an object to text via Printer.print(Object, Writer) and returns that text as a string.
toString(String) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionPlanner
toString(String) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch
toString(String) - Method in class edu.uky.cs.nil.sabre.search.Planner: Returns a string composed of a name and a description of the planner's settings, primary for use in Planner.toString().
toString(String) - Method in class edu.uky.cs.nil.sabre.search.Search: Returns a string composed of a name and a description of the search's parameters, primary for use in Search.toString().
toValued() - Method in class edu.uky.cs.nil.sabre.Fluent
toValued() - Method in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion
toValued() - Method in class edu.uky.cs.nil.sabre.logic.Assignment: A valued expression is suitable to appear on the right side of a precondition or an effect; thus assignments cannot be converted into valued expressions and this method throws a FormatException.
toValued() - Method in class edu.uky.cs.nil.sabre.logic.Conditional
toValued() - Method in class edu.uky.cs.nil.sabre.logic.Epistemic
toValued() - Method in interface edu.uky.cs.nil.sabre.logic.Expression: Returns a conditional expression whose conditions are in disjunctive normal form and whose branches are valued expressions.
toValued() - Method in class edu.uky.cs.nil.sabre.logic.False
toValued() - Method in class edu.uky.cs.nil.sabre.logic.Negation
toValued() - Method in interface edu.uky.cs.nil.sabre.logic.Parameter
toValued() - Method in interface edu.uky.cs.nil.sabre.logic.Proposition
toValued() - Method in class edu.uky.cs.nil.sabre.logic.True
toValued() - Method in interface edu.uky.cs.nil.sabre.logic.Value
Trigger - Class in edu.uky.cs.nil.sabre: A trigger is an event that must occur when its precondition is satisfied.
Trigger(Signature, Expression, Expression, String) - Constructor for class edu.uky.cs.nil.sabre.Trigger: Constructs a new trigger.
TRIGGER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a trigger
TRIGGER_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a trigger
TRIGGER_DEFINITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning a trigger definition
TRIGGER_ELEMENT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of some part of a trigger
TriggerNode - Class in edu.uky.cs.nil.sabre.hg: An event node representing a trigger.
TriggerNode(HeuristicGraph, Trigger) - Constructor for class edu.uky.cs.nil.sabre.hg.TriggerNode: Constructs a new trigger node that belongs to a given graph and represents a given trigger.
triggers - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: All the compiled triggers defined in this problem
triggers - Variable in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: A mapping of triggers to compiled triggers
triggers - Variable in class edu.uky.cs.nil.sabre.graph.StateGraph: The set of all ground triggers which can occur in the states represented in this graph
triggers - Variable in class edu.uky.cs.nil.sabre.Problem: All the triggers defined in this problem (a subset of events)
trimComment(String) - Method in class edu.uky.cs.nil.sabre.io.Tokenizer: Given a string that is a comment, this method removes the characters to signal this string is a comment, preserving only the content of the comment.
True - Class in edu.uky.cs.nil.sabre.logic: True is one of two singleton values of type boolean that represents the opposite of false.
TRUE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing true
TRUE - Static variable in class edu.uky.cs.nil.sabre.logic.True: The singleton true object
TRUE_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for true
trueBranch - Variable in class edu.uky.cs.nil.sabre.etree.BooleanEventTree: Events whose preconditions require this tree's expression to be true
type - Variable in class edu.uky.cs.nil.sabre.Fluent: Identifies which values may be assigned to this fluent
type - Variable in class edu.uky.cs.nil.sabre.io.DefinedObjectBuilder: The type of the defined object
type - Variable in class edu.uky.cs.nil.sabre.logic.TypeConstraint: The type the argument should be
type - Variable in class edu.uky.cs.nil.sabre.logic.Variable: The type of values the variable could have
Type - Class in edu.uky.cs.nil.sabre: Types provide a way to group values, to express relationships between values, and to define which values are legal for variables and properties.
TYPE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a type
TYPE_CONSTRAINT - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a type constraint
TYPE_CONSTRAINT_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for type constraints
TYPE_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a type
TYPE_DEFINITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning a type definition
TypeConstraint - Class in edu.uky.cs.nil.sabre.logic: A type constraint is a proposition that is true if and only if a given argument is of a given type.
TypeConstraint(Expression, Type) - Constructor for class edu.uky.cs.nil.sabre.logic.TypeConstraint: Constructs a new type constraint.
typeCycle(Type, Type) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a cycle has been created in a universe's type ontology.
Typed - Interface in edu.uky.cs.nil.sabre.logic: A typed formula is a logical formula that has a type.
TYPED - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a typed logical formula
typeMayNotBeExtended(Type) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when trying to create a subtype of a type which cannot have any subtypes.
typeMayNotExtend(Type) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when trying to make a type which cannot have any supertypes a supertype of some other type.
types - Variable in class edu.uky.cs.nil.sabre.Entity: The direct parent types of this entity
types - Variable in class edu.uky.cs.nil.sabre.Universe: The types defined in this universe (index corresponds to Type.id)

U

union(ImmutableSet) - Method in class edu.uky.cs.nil.sabre.util.ImmutableSet: Returns a new set containing all elements in this set and all elements in a given second set.
Unique - Interface in edu.uky.cs.nil.sabre.util: A unique object is one of a collection whose hash codes are unique, sequential integers starting at 0.
uniqueHashCodesNotNegative(Unique) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a unique object's hash code returns a negative number.
UniqueMap<K,V> - Class in edu.uky.cs.nil.sabre.util: A unique map uses Unique objects as keys and maps each key to a value.
UniqueMap() - Constructor for class edu.uky.cs.nil.sabre.util.UniqueMap: Constructs a new unique map.
UniqueMap(int) - Constructor for class edu.uky.cs.nil.sabre.util.UniqueMap: Constructs a new unique map which starts with the capacity to store up to a given number of keys.
UniqueMap(Map) - Constructor for class edu.uky.cs.nil.sabre.util.UniqueMap: Constructs a unique map which use a given map for its initial key/value mapping.
UNIVERSAL - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a universally quantified expression
UNIVERSAL - Static variable in class edu.uky.cs.nil.sabre.logic.Quantified: The universal quantifier specifies that a quantified expression must hold for every possible value its variable can have.
UNIVERSAL_QUANTIFICATION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for the universal quantifier
UNIVERSAL_QUANTIFIER - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the universal quantifier
universe - Variable in class edu.uky.cs.nil.sabre.comp.ProblemCompiler: The universe of types and entities used by the problem being compiled
universe - Variable in class edu.uky.cs.nil.sabre.Entity: The universe in which this entity is defined
universe - Variable in class edu.uky.cs.nil.sabre.Problem: The universe defining the problem's types and entities
universe - Variable in class edu.uky.cs.nil.sabre.Type: The universe in which this type is defined
Universe - Class in edu.uky.cs.nil.sabre: A universe is the collection of all the things in a planning problem, specifically all the entities and the types of those entities.
Universe() - Constructor for class edu.uky.cs.nil.sabre.Universe: Constructs a default "empty" universe.
UniverseBuilder - Class in edu.uky.cs.nil.sabre: A universe builder assists in defining the types and entities of a universe by enforcing requirements on their definitions.
UniverseBuilder() - Constructor for class edu.uky.cs.nil.sabre.UniverseBuilder: Constructs a universe builder for a new, empty universe, which will contains only the pre-defined types that all universes contain and no entities.
UniverseBuilder(Universe) - Constructor for class edu.uky.cs.nil.sabre.UniverseBuilder: Constructs a new universe builder that will begin with all the types and entities in the given universe and can be used to define a new universe that is an extension or modification of that universe.
Unknown - Class in edu.uky.cs.nil.sabre.logic: Unknown is a value that represents a missing or empty value.
UNKNOWN - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the unknown value
UNKNOWN - Static variable in class edu.uky.cs.nil.sabre.logic.Unknown: The singleton unknown object
UNKNOWN_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for unknown
unknownBranch - Variable in class edu.uky.cs.nil.sabre.etree.EntityEventTree: Events whose preconditions require this tree's fluent to be unknown
UNLIMITED - Static variable in class edu.uky.cs.nil.sabre.util.MemoryBudget: A constant representing an unlimited amount of memory
UNLIMITED_DEPTH - Static variable in class edu.uky.cs.nil.sabre.search.Planner: The constant used to represent no limit on the author and character temporal depths and the epistemic depth or a search
UNLIMITED_NODES - Static variable in class edu.uky.cs.nil.sabre.search.Planner: The constant used to represent no limit on a number of nodes
UNLIMITED_TIME - Static variable in class edu.uky.cs.nil.sabre.search.Planner: The constant used to represent no limit on an amount of time
unusedCommandLineArgument(String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a a command line argument is not used for anything.
update(int, Object) - Method in class edu.uky.cs.nil.sabre.util.Worker.Status: Updates one of the arguments previously passed to Worker.Status.setMessage(String, Object...).
update(Character, Event, State) - Static method in class edu.uky.cs.nil.sabre.graph.DummyAction: A belief update action is a dummy action used to modify the beliefs of a character when an action's effect directly modifies the character's beliefs.
updateStatus(Worker.Status, Progress) - Method in class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch
updateStatus(Worker.Status, Progress) - Method in class edu.uky.cs.nil.sabre.prog.GoalFirstSearch
updateStatus(Worker.Status, Progress) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Updates the status during a search.
USAGE - Static variable in class edu.uky.cs.nil.sabre.Main: A string explaining the command line arguments that can be passed to the main method
utilities - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: A compiled mapping which returns a utility function for each character
utilities - Variable in class edu.uky.cs.nil.sabre.graph.StateGraph: A mapping, for each character, to a numeric expression that the character will try to maximize
utilities - Variable in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: Nodes representing each character's utility
utilities - Variable in class edu.uky.cs.nil.sabre.Problem: A mapping which returns a utility expression for each character
Utilities - Class in edu.uky.cs.nil.sabre: A collection of miscellaneous utility methods.
utility - Variable in class edu.uky.cs.nil.sabre.comp.CompiledProblem: The author's utility function
utility - Variable in class edu.uky.cs.nil.sabre.graph.StateGraph: A numeric expression that the author will try to maximize
utility - Variable in class edu.uky.cs.nil.sabre.hg.GoalNode: The utility node this goal will add values to if its condition has a finite cost
utility - Variable in class edu.uky.cs.nil.sabre.hg.HeuristicGraph: A node representing the author's utility
utility - Variable in class edu.uky.cs.nil.sabre.Problem: The author's utility expression
utility - Variable in class edu.uky.cs.nil.sabre.search.Result: The author utility achieved by the solution
UTILITY_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a utility expression
UTILITY_DEFINITION_KEYWORD - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Keyword for beginning a utility expression
utilityMustBePropositionOrNumeric(Expression) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when defining a utility function that is neither of type number nor of type boolean.
UtilityNode - Class in edu.uky.cs.nil.sabre.hg: A cost set node that represents a utility expression.
UtilityNode(HeuristicGraph, Character, Conditional) - Constructor for class edu.uky.cs.nil.sabre.hg.UtilityNode: Constructs a new utility node that belongs to a given graph and represents a given utility.
utilityNodeAlreadyDefined(Character) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when creating a utility node in a heuristic graph for an character who already has a utility node.

V

value - Variable in class edu.uky.cs.nil.sabre.hg.CostSet.Entry: The value in the cost set
value - Variable in class edu.uky.cs.nil.sabre.hg.EffectNode: The node representing the value expression on the right side of the assignment
value - Variable in class edu.uky.cs.nil.sabre.hg.GoalNode: The value(s) that will be added to the utility expression if this condition has a finite cost
value - Variable in class edu.uky.cs.nil.sabre.hg.PreconditionNode: The node representing the value on the right side of the comparison
value - Variable in class edu.uky.cs.nil.sabre.io.Keyword: The value the single token must have
value - Variable in class edu.uky.cs.nil.sabre.io.Token: The text of the token
value - Variable in class edu.uky.cs.nil.sabre.logic.Assignment: The logical expression whose value will be assigned to the fluent
value - Variable in class edu.uky.cs.nil.sabre.Number: The value of this number as a Java double
Value - Interface in edu.uky.cs.nil.sabre.logic: A value is a logical expression which evaluates to itself.
VALUE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a value
valueOf(String) - Static method in enum class edu.uky.cs.nil.sabre.io.Tokenizer.Instruction: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class edu.uky.cs.nil.sabre.prog.ProgressionPlanner.Method: Returns the enum constant of this class with the specified name.
values - Variable in class edu.uky.cs.nil.sabre.graph.StateNode: The values for each of the fluents tracked by this graph, where the value at index i is the value for the fluent at index i in graph's set of fluents
values() - Static method in enum class edu.uky.cs.nil.sabre.io.Tokenizer.Instruction: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class edu.uky.cs.nil.sabre.prog.ProgressionPlanner.Method: Returns an array containing the constants of this enum class, in the order they are declared.
variable - Variable in class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion: A variable appearing in the argument
variable - Variable in class edu.uky.cs.nil.sabre.logic.Quantified: The quantified variable used in the argument
variable - Variable in class edu.uky.cs.nil.sabre.Mapping.Function: The variable in the expression which represents the character
Variable - Class in edu.uky.cs.nil.sabre.logic: A variable is a placeholder for a value.
Variable(String, Type) - Constructor for class edu.uky.cs.nil.sabre.logic.Variable: Constructs a new variable.
VARIABLE - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing a variable
VARIABLE_DEFINITION - Static variable in class edu.uky.cs.nil.sabre.io.DefaultParser: Non-terminal symbol representing the definition of a variable
variableMayNotBeNumeric() - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a variable that is explicitly or implicitly quantified is of type number, which is not allowed, since there are infinitely many numbers.
variableMustBeCharacter(Variable) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when a variable must of of type character or a supertype of character, generally when defining a mapping function.
VERBOSE_KEY - Static variable in class edu.uky.cs.nil.sabre.Main: The command line key for verbose output
VERSION_STRING - Static variable in class edu.uky.cs.nil.sabre.Settings: The full version number (major + minor) as a string
VERSION_UID - Static variable in class edu.uky.cs.nil.sabre.Settings: A long encoding the major and minor version number which can be used as a serial version UID
visit(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ExplanationFirstSearch
visit(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.GoalFirstSearch: Performs one iteration of the search on the given search node.
visit(SearchNode) - Method in class edu.uky.cs.nil.sabre.prog.ProgressionSearch: Performs one iteration of the search on the given search node.
visited - Variable in class edu.uky.cs.nil.sabre.search.Result: The number of nodes visited during the search

W

weight - Variable in class edu.uky.cs.nil.sabre.prog.WeightedCost.Factory: The constant to multiply the cost by
weight - Variable in class edu.uky.cs.nil.sabre.prog.WeightedCost: The constant to multiply the cost by
WeightedCost - Class in edu.uky.cs.nil.sabre.prog: A weighted cost is a wrapper around a cost function that multiplies a cost by a fixed constant.
WeightedCost(ProgressionCost, double) - Constructor for class edu.uky.cs.nil.sabre.prog.WeightedCost: Constructs a new weighted cost function.
WeightedCost.Factory - Class in edu.uky.cs.nil.sabre.prog: A factory for creating weighted cost functions.
Worker - Class in edu.uky.cs.nil.sabre.util: Worker provides a convenient way to run long, time-consuming processes that provide occasional updates on their progress.
Worker.Getter<T> - Interface in edu.uky.cs.nil.sabre.util: A getter is a Worker whose long-running process returns a value.
Worker.Runner - Interface in edu.uky.cs.nil.sabre.util: A runner is a Worker whose long-running process does not return a value.
Worker.Status - Class in edu.uky.cs.nil.sabre.util: A status object stores the message that will be displayed occasionally as a long-running process runs; the process should update this message to reflect its current status.
wrap(String) - Static method in class edu.uky.cs.nil.sabre.Utilities: Wrap a string in parentheses, unless it is already so wrapped.
write(long, Writer) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Writes data for a node to a writer.
write(Writer) - Method in class edu.uky.cs.nil.sabre.ptree.ProgressionTree: Writes data for each node in the space to a writer.
wrongType(Object, String) - Static method in class edu.uky.cs.nil.sabre.Exceptions: Thrown when an object is expected to be of a certain type but it is not (such as when an illegal cast is about to occur).

Z

ZERO - Static variable in class edu.uky.cs.nil.sabre.Number: A constant representing zero
ZERO - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCost: A cost function that always returns 0.
ZERO - Static variable in interface edu.uky.cs.nil.sabre.prog.ProgressionCostFactory: A progression cost factory that always returns the zero cost.
ZERO_COST_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the zero cost function
ZERO_HEURISTIC_OPTION - Static variable in class edu.uky.cs.nil.sabre.Main: The abbreviation for the zero heuristic

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