Serialized Form

Package edu.uky.cs.nil.sabre

Class edu.uky.cs.nil.sabre.Action

class Action extends Object implements Serializable

Serialized Fields

comment

String comment

The comment associated with the action from the problem definition

consenting

ImmutableSet<Parameter> consenting

A set of zero to many characters who need a reason to take the action

effect

Expression effect

A logical expression that will be true after the action occurs

observing

Mapping<Expression> observing

A function which, for any character, returns a logical expression which is used to decide whether that character observes the action

precondition

Expression precondition

A logical expression that must be true before the action can occur

signature

Signature signature

Identifies the action's name and arguments

Class edu.uky.cs.nil.sabre.Beliefs

class Beliefs extends Object implements Serializable

serialVersionUID:

1L

Serialized Fields

character

Character character

The character who has beliefs

state

State state

The state in which the character has beliefs

Class edu.uky.cs.nil.sabre.Character

class Character extends Entity implements Serializable

Class edu.uky.cs.nil.sabre.Entity

class Entity extends Object implements Serializable

Serialized Fields

comment

String comment

The comment associated with this entity from the problem definition

id

int id

The unique sequential ID number of this entity in its universe

name

String name

The unique name of this entity in this universe

types

ImmutableSet<Type> types

The direct parent types of this entity

universe

Universe universe

The universe in which this entity is defined

Class edu.uky.cs.nil.sabre.Fluent

class Fluent extends Object implements Serializable

Serialized Fields

characters

ImmutableArray<Parameter> characters

An ordered list of characters or parameters of type character specifying whose beliefs this fluent represents

comment

String comment

The comment associated with the fluent from the problem definition

signature

Signature signature

The name and arguments that identify the fluent

type

Type type

Identifies which values may be assigned to this fluent

Exception Class edu.uky.cs.nil.sabre.FormatException

class FormatException extends RuntimeException implements Serializable

Class edu.uky.cs.nil.sabre.InitialState

class InitialState extends Object implements Serializable

Serialized Fields

clause

Clause<Effect> clause

A logical expression representing this state

Class edu.uky.cs.nil.sabre.Mapping.Function

class Function extends Object implements Serializable

Serialized Fields

argument

Expression argument

The expression

variable

Variable variable

The variable in the expression which represents the character

Class edu.uky.cs.nil.sabre.Mapping.Predicate

class Predicate extends Object implements Serializable

Serialized Fields

characters

ImmutableSet<Character> characters

The characters for which this mapping should return true

Class edu.uky.cs.nil.sabre.Number

class Number extends Object implements Serializable

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Ensures there is at most one object for each unique value.

Throws:

ObjectStreamException - if deserialization failed

Serialized Fields

value

Double value

The value of this number as a Java double

Class edu.uky.cs.nil.sabre.Problem

class Problem extends Object implements Serializable

Serialized Fields

actions

ImmutableSet<Action> actions

All the actions defined in this problem (a subset of events)

comment

String comment

The comment associated with this problem in its definition

events

ImmutableSet<Event> events

A set of all events that can occur

fluents

ImmutableSet<Fluent> fluents

The fluents tracked in every state of the problem

initial

Expression initial

A logical expression representing the initial state

name

String name

The name of the problem

triggers

ImmutableSet<Trigger> triggers

All the triggers defined in this problem (a subset of events)

universe

Universe universe

The universe defining the problem's types and entities

utilities

Mapping<Expression> utilities

A mapping which returns a utility expression for each character

utility

Expression utility

The author's utility expression

Class edu.uky.cs.nil.sabre.Signature

class Signature extends Object implements Serializable

Serialized Fields

arguments

ImmutableArray<Parameter> arguments

A list of zero to many arguments

name

String name

A name

Class edu.uky.cs.nil.sabre.SolutionGoal

class SolutionGoal extends Object implements Serializable

Serialized Fields

character

Character character

The character whose intends to increase their utility, or null to represent the author

goal

Expression goal

A condition which, when satisfied, should lead to increased utility for the character

Class edu.uky.cs.nil.sabre.SolutionPlan

class SolutionPlan extends Object implements Serializable

Serialized Fields

explanations

ImmutableArray<Solution<A extends Action>> explanations

Explanations for the action's consenting characters (except for this solution's character)

first

A extends Action first

The first action in this solution

rest

Solution<A extends Action> rest

The rest of the solution after the first action

Class edu.uky.cs.nil.sabre.Trigger

class Trigger extends Object implements Serializable

Serialized Fields

comment

String comment

The comment associated with the trigger from the problem definition

effect

Expression effect

A logical expression that will be true after the trigger occurs

precondition

Expression precondition

A logical expression that must be true before the trigger can occur

signature

Signature signature

Identifies the trigger's name and arguments

Class edu.uky.cs.nil.sabre.Type

class Type extends Object implements Serializable

Serialized Fields

comment

String comment

The comment associated with this type from the problem definition

id

int id

The unique sequential ID number of this type in its universe

name

String name

The unique name of this type in this universe

parents

ImmutableSet<Type> parents

This type's direct parent supertypes

universe

Universe universe

The universe in which this type is defined

Class edu.uky.cs.nil.sabre.Universe

class Universe extends Object implements Serializable

Serialized Fields

characters

ImmutableSet<Character> characters

The characters defined in this universe (index corresponds to Entity.id)

entities

ImmutableSet<Entity> entities

The entities defined in this universe (index corresponds to Entity.id; characters are always listed first)

entitiesByName

HashMap<String,Entity> entitiesByName

Maps entity names to entity objects

entityRelationships

boolean[][] entityRelationships

Lookup table for entity/type relationships

intersections

UniqueMap<Type, UniqueMap<Type, ImmutableSet<Value>>> intersections

A cache of type intersections

typeRelationships

boolean[][] typeRelationships

Lookup table for type relationships

types

ImmutableSet<Type> types

The types defined in this universe (index corresponds to Type.id)

typesByName

HashMap<String,Type> typesByName

Maps type names to type objects

valuesByType

UniqueMap<Type, ImmutableSet<Value>> valuesByType

A cache of all values of a certain type

Package edu.uky.cs.nil.sabre.comp

Class edu.uky.cs.nil.sabre.comp.CompiledAction

class CompiledAction extends Action implements Serializable

Serialized Fields

consenting

ImmutableSet<Character> consenting

The action's ground Action.consenting consenting characters

effect

Clause<Effect> effect

The action's effect as a clause

id

int id

A unique ID number that corresponds to this action's index in its compiled problem's set of events

observing

CompiledMapping<Disjunction<Clause<Precondition>>> observing

The action's observing characters function in in disjunctive normal form

precondition

Disjunction<Clause<Precondition>> precondition

The action's precondition in in disjunctive normal form

Class edu.uky.cs.nil.sabre.comp.CompiledFluent

class CompiledFluent extends Fluent implements Serializable

Serialized Fields

characters

ImmutableArray<Character> characters

An ordered list of characters specifying whose beliefs this fluent represents

children

CompiledFluent[] children

Compiled fluents whose signatures are identical but with one additional character added to the start of the list of characters

id

int id

A unique ID number that corresponds to this fluent's index in its compiled problem's set of fluents

parent

CompiledFluent parent

The compiled fluent whose signature is identical but whose list of characters is the same except that the first character has been removed

Class edu.uky.cs.nil.sabre.comp.CompiledMapping

class CompiledMapping extends Object implements Serializable

Serialized Fields

table

ImmutableArray<E extends Expression> table

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

Class edu.uky.cs.nil.sabre.comp.CompiledProblem

class CompiledProblem extends Problem implements Serializable

Serialized Fields

actions

EventSet<CompiledAction> actions

All the compiled actions defined in this problem

events

ImmutableSet<CompiledEvent> events

The set of all compiled events that can ever occur

fluents

ImmutableSet<CompiledFluent> fluents

The compiled fluents tracked in every state of the problem

initial

Clause<Effect> initial

A clause representing the initial state

start

FiniteState start

The initial state of the problem before planning begins

triggers

EventSet<CompiledTrigger> triggers

All the compiled triggers defined in this problem

utilities

CompiledMapping<Conditional<Disjunction<Clause<Precondition>>>> utilities

A compiled mapping which returns a utility function for each character

utility

Conditional<Disjunction<Clause<Precondition>>> utility

The author's utility function

Class edu.uky.cs.nil.sabre.comp.CompiledTrigger

class CompiledTrigger extends Trigger implements Serializable

Serialized Fields

effect

Clause<Effect> effect

The trigger's effect as a clause

id

int id

A unique ID number that corresponds to this trigger's index in its compiled problem's set of events

precondition

Disjunction<Clause<Precondition>> precondition

The trigger's precondition in in disjunctive normal form

Class edu.uky.cs.nil.sabre.comp.PrefixFluent

class PrefixFluent extends Fluent implements Serializable

Serialized Fields

parent

Fluent parent

The fluent whose signature is identical but whose list of characters is the same except that the first character has been removed

Package edu.uky.cs.nil.sabre.etree

Class edu.uky.cs.nil.sabre.etree.BooleanEventTree

class BooleanEventTree extends BranchingEventTree<E extends Event> implements Serializable

Serialized Fields

falseBranch

EventTree<E extends Event> falseBranch

Events whose preconditions require this tree's expression to be false

trueBranch

EventTree<E extends Event> trueBranch

Events whose preconditions require this tree's expression to be true

Class edu.uky.cs.nil.sabre.etree.BranchingEventTree

class BranchingEventTree extends EventTree<E extends Event> implements Serializable

Serialized Fields

irrelevant

EventTree<E extends Event> irrelevant

Events which do not have this tree's expression in their precondition

Class edu.uky.cs.nil.sabre.etree.EntityEventTree

class EntityEventTree extends BranchingEventTree<E extends Event> implements Serializable

Serialized Fields

branches

UniqueMap<Entity, EventTree<E extends Event>> branches

For each possible value of the fluent, this map contains a branch with the events whose preconditions require the fluent to have that value

expression

Fluent expression

The fluent of type entity on which this event tree will branch

unknownBranch

EventTree<E extends Event> unknownBranch

Events whose preconditions require this tree's fluent to be unknown

Class edu.uky.cs.nil.sabre.etree.EventSet

class EventSet extends ImmutableSet<E extends Event> implements Serializable

serialVersionUID:

1L

Serialized Fields

tree

EventTree<E extends Event> tree

The event tree built from this set

Class edu.uky.cs.nil.sabre.etree.EventTree

class EventTree extends Object implements Serializable

Serialized Fields

events

ImmutableSet<E extends Event> events

The events whose preconditions are satisfied

expression

Expression expression

The expression on which this event tree will branch

Package edu.uky.cs.nil.sabre.graph

Class edu.uky.cs.nil.sabre.graph.Edge

class Edge extends Object implements Serializable

Serialized Fields

child

StateNode child

A state node into which this edge goes

label

Object label

A object explaining the relationship of the parent to the child

nextIn

Edge nextIn

The next incoming edge in a singly linked list

nextOut

Edge nextOut

The next outgoing edge in a singly linked list

parent

StateNode parent

The state node out from which this edge extends

Class edu.uky.cs.nil.sabre.graph.EpistemicEdge

class EpistemicEdge extends Edge implements Serializable

Serialized Fields

label

Character label

The character who believes the world is in the child state when the state is actually the parent state

Class edu.uky.cs.nil.sabre.graph.StateGraph

class StateGraph extends Object implements Serializable

Serialized Fields

characters

ImmutableSet<Character> characters

The set of all characters whose beliefs are represented in this graph

fluents

ImmutableSet<Fluent> fluents

The set of all fluents tracked by the state nodes in this graph (with all Fluent.characters removed). This set contains only non-espitemic fluents; to check the value of an epistemic fluent at a node, follow epistemic edges for the characters in order from that node and check the value of the fluent minus all characters in the final destination node.

index

Function<Fluent,Integer> index

A mapping of each fluent to its integer index in the set of fluents

newEdges

ArrayList<Edge> newEdges

A list of newly created edges that need to be checked during cleaning to determine if they need to be modified

newNodes

ArrayList<edu.uky.cs.nil.sabre.graph.TemporaryNode> newNodes

A list of newly created nodes that need to be checked during cleaning to determine if they are duplicates

nextID

long nextID

The next ID number to assign to a permanent state node

nodes

HashMap<edu.uky.cs.nil.sabre.graph.NodeKey, StateNode> nodes

A hashtable for storing all state nodes in the graph that uses a hash function which can detect when nodes are duplicates

pairs

edu.uky.cs.nil.sabre.graph.PairList pairs

A reusable list of node pairs used when detecting duplicate states

root

StateNode root

The first state represented by this graph (such as a problem's initial state)

triggers

EventSet<Trigger> triggers

The set of all ground triggers which can occur in the states represented in this graph

utilities

Mapping<Expression> utilities

A mapping, for each character, to a numeric expression that the character will try to maximize

utility

Expression utility

A numeric expression that the author will try to maximize

values

HashMap<ImmutableArray<Value>, Value[]> values

A hashtable containing every unique combination of fluent values used in the nodes of this graph

Class edu.uky.cs.nil.sabre.graph.StateNode

class StateNode extends Object implements Serializable

Serialized Fields

epistemicIn

EpistemicEdge epistemicIn

The first epistemic edge that has this node as its child

epistemicOut

EpistemicEdge epistemicOut

The first epistemic edge that has this node as its parent

graph

StateGraph graph

The state graph to which this node belongs

id

long id

A unique, sequential ID number for this node in the graph

temporalIn

TemporalEdge temporalIn

The first temporal edge that has this node as its child

temporalOut

TemporalEdge temporalOut

The first temporal edge that has this node as its parent

values

Value[] values

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

Class edu.uky.cs.nil.sabre.graph.TemporalEdge

class TemporalEdge extends Edge implements Serializable

Serialized Fields

label

Event label

The event which caused the state to change from the parent state to the child state

Package edu.uky.cs.nil.sabre.hg

Class edu.uky.cs.nil.sabre.hg.ActionNode

class ActionNode extends EventNode implements Serializable

Serialized Fields

label

Action label

The action this node represents

Class edu.uky.cs.nil.sabre.hg.ArithmeticNode

class ArithmeticNode extends FormulaNode implements Serializable

Serialized Fields

label

Arithmetic label

The arithmetic expression this node represents

left

FormulaNode left

The node representing the left side of the arithmetic expression

range

Range range

The set of possible values this expression can have and their associated costs

right

FormulaNode right

The node representing the right side of the arithmetic expression

Class edu.uky.cs.nil.sabre.hg.ArrayRange

class ArrayRange extends Range implements Serializable

Serialized Fields

entries

edu.uky.cs.nil.sabre.hg.ArrayRange.MutableEntry[] entries

The array in which entries are stored

size

int size

The number of entries currently in the array

Class edu.uky.cs.nil.sabre.hg.ClauseNode

class ClauseNode extends CostNode implements Serializable

Serialized Fields

count

int count

The number of times ClauseNode.notify(Node, Value, double) has been called (which, in an ideal situation, is also the number of preconditions in the clause that are true, though this is not guaranteed to be the case)

disjunctions

List<DisjunctionNode> disjunctions

The nodes representing all disjunctions that this clause appears in

label

Clause<Precondition> label

The conjunctive clause this node represents

preconditions

List<PreconditionNode> preconditions

The nodes representing the preconditions that make up the clause

Class edu.uky.cs.nil.sabre.hg.ConstantNode

class ConstantNode extends FormulaNode implements Serializable

Serialized Fields

label

Value label

The value this node represents

range

Range range

The set of values this node can have and their associated costs

Class edu.uky.cs.nil.sabre.hg.CostNode

class CostNode extends Node implements Serializable

Serialized Fields

cost

double cost

The cost of the proposition represented by this node being true

Class edu.uky.cs.nil.sabre.hg.DisjunctionNode

class DisjunctionNode extends CostNode implements Serializable

Serialized Fields

clauses

List<ClauseNode> clauses

The nodes representing the conjunctive clauses that make up the disjunction

conditionals

List<Node> conditionals

All nodes which depend on this disjunction as a condition

label

Disjunction<Clause<Precondition>> label

The disjunctive normal form expression this node represents

Class edu.uky.cs.nil.sabre.hg.EffectNode

class EffectNode extends CostNode implements Serializable

Serialized Fields

condition

DisjunctionNode condition

The node representing the condition under which the effect can happen

events

List<EventNode> events

A list of event nodes that have this effect

fluent

FluentNode fluent

The node representing the fluent on the left side of the assignment

label

Effect label

The atomic effect this node represents

preconditions

List<PreconditionNode> preconditions

A list of all precondition nodes whose fluent this effect might assign values to

value

FormulaNode value

The node representing the value expression on the right side of the assignment

Class edu.uky.cs.nil.sabre.hg.EventNode

class EventNode extends CostNode implements Serializable

Serialized Fields

effects

List<EffectNode> effects

The nodes representing the event's effects

label

Event label

The event this node represents

precondition

DisjunctionNode precondition

The node representing the event's precondition

Class edu.uky.cs.nil.sabre.hg.FluentNode

class FluentNode extends FormulaNode implements Serializable

Serialized Fields

effects

List<EffectNode> effects

All effect nodes which assign values to this node's fluent

label

Fluent label

The fluent this node represents

preconditions

List<PreconditionNode> preconditions

All precondition nodes where this node's fluent appears on the left side

Class edu.uky.cs.nil.sabre.hg.FormulaNode

class FormulaNode extends Node implements Serializable

Serialized Fields

formulas

List<Node> formulas

Nodes that need to be notified when this node gains new values

Class edu.uky.cs.nil.sabre.hg.GoalNode

class GoalNode extends CostNode implements Serializable

Serialized Fields

condition

DisjunctionNode condition

The condition which, if it has a finite cost, will add values to the utility expression

label

Conditional<Disjunction<Clause<Precondition>>> label

The condition and utility value this node represents. The condition is represented by the first condition of this expression and the utility value by the first branch. All other conditions and branches of this expression are ignored and not represented by this node.

utility

UtilityNode utility

The utility node this goal will add values to if its condition has a finite cost

value

FormulaNode value

The value(s) that will be added to the utility expression if this condition has a finite cost

Class edu.uky.cs.nil.sabre.hg.HeuristicGraph

class HeuristicGraph extends Object implements Serializable

Serialized Fields

actions

List<ActionNode> actions

Nodes representing all actions in the graph

emptyClauseNode

ClauseNode emptyClauseNode

A node representing the empty clause

falseValueNode

ConstantNode falseValueNode

A node representing the constant False.FALSE. This field is necessary because false is both a value and an empty disjunction, so the same label can map to two different nodes. This field points to the constant for false; the mapping in HeuristicGraph.nodes will be to the disjunction for false.

firstToReset

Node firstToReset

The start of a linked list of nodes that need to be reset

fluents

List<FluentNode> fluents

Nodes representing all fluents in the graph

lastToReset

Node lastToReset

A sentinel node that represents the end of the list of nodes that need to be reset

next

List<ActionNode> next

A list of actions whose preconditions have a finite cost but which have not yet been added to the graph

nodes

HashMap<Object,Node> nodes

Maps the labels of nodes to their corresponding nodes

trueValueNode

ConstantNode trueValueNode

A node representing the constant True.TRUE. This field is necessary because true is both a value and a disjunction of the empty clause, so the same label can map to two different nodes. This field points to the constant for true; the mapping in HeuristicGraph.nodes will be to the disjunction for true.

utilities

HashMap<Character, UtilityNode> utilities

Nodes representing each character's utility

utility

UtilityNode utility

A node representing the author's utility

Class edu.uky.cs.nil.sabre.hg.InfiniteSpan

class InfiniteSpan extends Span implements Serializable

Class edu.uky.cs.nil.sabre.hg.List

class List extends Object implements Serializable

Serialized Fields

array

T[] array

An array to story the elements of the list

size

int size

The number of elements currently in the list

Class edu.uky.cs.nil.sabre.hg.MaxGraph

class MaxGraph extends HeuristicGraph implements Serializable

Class edu.uky.cs.nil.sabre.hg.Node

class Node extends Object implements Serializable

Serialized Fields

graph

HeuristicGraph graph

The heuristic graph this node belong to

label

Logical label

The logical formula this node represents in the graph

nextToReset

Node nextToReset

The next node in the graph's linked list of nodes that need to be reset

Class edu.uky.cs.nil.sabre.hg.NominalFluentNode

class NominalFluentNode extends FluentNode implements Serializable

Serialized Fields

groups

List<PreconditionNode>[] groups

An array of value groups, indexed by the hash code of the group's value

Class edu.uky.cs.nil.sabre.hg.NumericFluentNode

class NumericFluentNode extends FluentNode implements Serializable

Serialized Fields

range

Range range

The set of possible values this fluent can have and their associated costs

Class edu.uky.cs.nil.sabre.hg.PreconditionNode

class PreconditionNode extends CostNode implements Serializable

Serialized Fields

clauses

List<ClauseNode> clauses

A list of all clause nodes that this precondition node appears in

effects

List<EffectNode> effects

A list of all effect nodes which might assign values to this node's fluent

fluent

FluentNode fluent

The node representing the fluent on the left side of the comparison

label

Precondition label

The atomic precondition this node represents

value

FormulaNode value

The node representing the value on the right side of the comparison

Class edu.uky.cs.nil.sabre.hg.Range

class Range extends Object implements Serializable

Class edu.uky.cs.nil.sabre.hg.Span

class Span extends ArrayRange implements Serializable

Class edu.uky.cs.nil.sabre.hg.SumGraph

class SumGraph extends HeuristicGraph implements Serializable

Class edu.uky.cs.nil.sabre.hg.TriggerNode

class TriggerNode extends EventNode implements Serializable

Serialized Fields

label

Trigger label

The trigger this node represents

Class edu.uky.cs.nil.sabre.hg.UtilityNode

class UtilityNode extends FormulaNode implements Serializable

Serialized Fields

character

Character character

The character whose utility this node represents, or null for the author's utility

goals

List<GoalNode> goals

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

label

Conditional<Disjunction<Clause<Precondition>>> label

The conditional numeric expression that defines a utility value depending on the situation

range

Range range

The set of possible values this utility expression can have and their associated costs

Package edu.uky.cs.nil.sabre.io

Exception Class edu.uky.cs.nil.sabre.io.ParseException

class ParseException extends Exception implements Serializable

Serialized Fields

tokens

ImmutableList<Token> tokens

The tokens being parsed when the exception occurred

Package edu.uky.cs.nil.sabre.logic

Class edu.uky.cs.nil.sabre.logic.Arithmetic

class Arithmetic extends Object implements Serializable

Serialized Fields

left

Expression left

The left numeric expression

operator

Arithmetic.Operator operator

The arithmetic operator to apply to the left and right sides

right

Expression right

The right numeric expression

Class edu.uky.cs.nil.sabre.logic.Arithmetic.Operator

class Operator extends Object implements Serializable

Class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion

class ArithmeticExpansion extends Object implements Serializable

Serialized Fields

argument

Expression argument

A numeric expression which will be used to create the series of numeric expressions

operator

ArithmeticExpansion.Operator operator

The arithmetic expansion operator to be applied to the series of numeric expressions

variable

Variable variable

A variable appearing in the argument

Class edu.uky.cs.nil.sabre.logic.ArithmeticExpansion.Operator

class Operator extends Object implements Serializable

Serialized Fields

identity

Number identity

The number to be returned if the series contains zero numeric expressions

operation

Arithmetic.Operator operation

The arithmetic operator to be applied to the series of numeric expressions

Class edu.uky.cs.nil.sabre.logic.Assignment

class Assignment extends Object implements Serializable

Serialized Fields

fluent

Fluent fluent

The fluent whose value will be set

value

Expression value

The logical expression whose value will be assigned to the fluent

Class edu.uky.cs.nil.sabre.logic.Clause

class Clause extends Conjunction<A extends Atom> implements Serializable

Class edu.uky.cs.nil.sabre.logic.Comparison

class Comparison extends Object implements Serializable

Serialized Fields

left

Expression left

The left side expression

operator

Comparison.Operator operator

The relationship between the left and right sides

right

Expression right

The right side expression

Class edu.uky.cs.nil.sabre.logic.Comparison.NumericOperator

class NumericOperator extends Comparison.Operator implements Serializable

Class edu.uky.cs.nil.sabre.logic.Comparison.Operator

class Operator extends Object implements Serializable

Class edu.uky.cs.nil.sabre.logic.Conditional

class Conditional extends Object implements Serializable

Serialized Fields

branches

ImmutableArray<Expression> branches

The expressions which will be evaluated if their corresponding conditions evaluate to true

conditions

ImmutableArray<E extends Expression> conditions

The conditions that will be checked in order (the first condition is paired with the first branch, the second with the second branch, etc.)

Class edu.uky.cs.nil.sabre.logic.Conjunction

class Conjunction extends Object implements Serializable

Serialized Fields

arguments

ImmutableArray<E extends Expression> arguments

The conjuncts which must all be true for this conjunction to be true

Class edu.uky.cs.nil.sabre.logic.Disjunction

class Disjunction extends Object implements Serializable

Serialized Fields

arguments

ImmutableArray<E extends Expression> arguments

The disjuncts which must contain at least one true expression for this disjunction to be true

Class edu.uky.cs.nil.sabre.logic.Effect

class Effect extends Assignment implements Serializable

Serialized Fields

condition

Disjunction<Clause<Precondition>> condition

The condition under which this assignment would occur (or true if the assignment would always occur)

Class edu.uky.cs.nil.sabre.logic.Epistemic

class Epistemic extends Object implements Serializable

Serialized Fields

argument

Expression argument

The logical expression about which the character holds a belief

character

Parameter character

The character which holds the belief

Class edu.uky.cs.nil.sabre.logic.False

class False extends Disjunction<Clause<Atom>> implements Serializable

Serialization Methods

readResolve

private Object readResolve()

Ensures the same false constant is used by deserialized objects.

Class edu.uky.cs.nil.sabre.logic.HashSubstitution

class HashSubstitution extends Object implements Serializable

Serialized Fields

mapping

HashMap<Object,Object> mapping

A mapping of original objects to replacements

previous

Substitution previous

The substitution to which this substitution is an extension

Class edu.uky.cs.nil.sabre.logic.Negation

class Negation extends Object implements Serializable

Serialized Fields

argument

Expression argument

The argument whose value this negation will be the opposite of

Class edu.uky.cs.nil.sabre.logic.Precondition

class Precondition extends Comparison implements Serializable

Class edu.uky.cs.nil.sabre.logic.Quantified

class Quantified extends Object implements Serializable

Serialized Fields

argument

Expression argument

A proposition in which the quantified variable appears and which must hold with the frequency specified by the quantifier

quantifier

Quantified.Quantifier quantifier

The quantifier which specifies how frequently its argument must hold

variable

Variable variable

The quantified variable used in the argument

Class edu.uky.cs.nil.sabre.logic.Quantified.Quantifier

class Quantifier extends Object implements Serializable

Class edu.uky.cs.nil.sabre.logic.True

class True extends Disjunction<Clause<Atom>> implements Serializable

Serialization Methods

readResolve

private Object readResolve()

Ensures the same true constant is used by deserialized objects.

Class edu.uky.cs.nil.sabre.logic.TypeConstraint

class TypeConstraint extends Object implements Serializable

Serialized Fields

argument

Expression argument

A logical expression which should be of a certain type

type

Type type

The type the argument should be

Class edu.uky.cs.nil.sabre.logic.Unknown

class Unknown extends Object implements Serializable

Serialization Methods

readResolve

private Object readResolve()

Ensures the same unknown constant is used by deserialized objects.

Class edu.uky.cs.nil.sabre.logic.Variable

class Variable extends Object implements Serializable

Serialization Methods

readResolve

private Object readResolve()

Ensures that deserialized variable names are added to the global list of variable names.

Serialized Fields

name

String name

The name of the variable

type

Type type

The type of values the variable could have

Package edu.uky.cs.nil.sabre.prog

Class edu.uky.cs.nil.sabre.prog.ProgressionPlanner

class ProgressionPlanner extends Planner<CompiledAction> implements Serializable

Serialized Fields

cost

ProgressionCostFactory cost

The factory used to create the search's cost function

explanationPruning

boolean explanationPruning

Whether or not searches will use explanation pruning

heuristic

ProgressionCostFactory heuristic

The factory used to create the search's heuristic function

method

ProgressionPlanner.Method method

The search method to use

Class edu.uky.cs.nil.sabre.prog.RepeatedNodeHeuristic.Factory

class Factory extends Object implements Serializable

Serialized Fields

parent

ProgressionCostFactory parent

The cost function factory that will be used to create the cost function to be used any time a node is not being repeated

Class edu.uky.cs.nil.sabre.prog.RepeatedRootHeuristic.Factory

class Factory extends Object implements Serializable

Serialized Fields

parent

ProgressionCostFactory parent

The cost function factory that will be used to create the cost function to be used any time a root is not being repeated

Class edu.uky.cs.nil.sabre.prog.WeightedCost.Factory

class Factory extends Object implements Serializable

Serialized Fields

cost

ProgressionCostFactory cost

The factory for the original cost function that will be multiplied by the weight constant

weight

double weight

The constant to multiply the cost by

Package edu.uky.cs.nil.sabre.ptree

Class edu.uky.cs.nil.sabre.ptree.ProgressionTree

class ProgressionTree extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Deserializes a progression tree as only its initial state; no other node data will be read regardless of what data the tree contained when it was serialized.

Parameters:

in - the deserialization input stream

Throws:

IOException - if an IO exception occurs while reading the tree

ClassNotFoundException - if an class not found exception occurs while reading in the tree

Serialized Fields

BELIEFS

int BELIEFS

Feature index for the ID number of the node that represents the beliefs of the first character in the problem's universe. There are as many belief indices as characters; this is the index of the first one. The index of the beliefs for a given character is obtained by adding the character's ID number to this index. The value is -1 until the beliefs of an character are generated by ProgressionTree.getBeliefs(long, Character), and after that the value will be the ID number of that belief node.

events

edu.uky.cs.nil.sabre.ptree.EventList events

A list of events, including dummy belief update actions

initial

ArrayList<edu.uky.cs.nil.sabre.ptree.InitialState> initial

The list of special initial state nodes

NODE_SIZE

int NODE_SIZE

The total number of features a node has. The amount of memory that a node occupies can be obtained by multiplying this number by Long.BYTES.

nodes

BigArrayLong nodes

The table in which data is stored

problem

CompiledProblem problem

The problem whose search space this table stores

triggers

EventTree<CompiledTrigger> triggers

An event tree of triggers to efficiently detect when triggers apply

Package edu.uky.cs.nil.sabre.search

Class edu.uky.cs.nil.sabre.search.Planner

class Planner extends Object implements Serializable

Serialized Fields

authorTemporalLimit

int authorTemporalLimit

The limit on number of actions in the author's plan

characterTemporalLimit

int characterTemporalLimit

The limit on number of actions in a character's plan

epistemicLimit

int epistemicLimit

The limit on how deeply theory of mind can be searched

name

String name

The name of the planner

searchLimit

long searchLimit

The limit on nodes visited

spaceLimit

long spaceLimit

The limit on nodes generated

timeLimit

long timeLimit

The limit on time spent

Exception Class edu.uky.cs.nil.sabre.search.SearchException

class SearchException extends RuntimeException implements Serializable

Package edu.uky.cs.nil.sabre.util

Class edu.uky.cs.nil.sabre.util.BigArrayLong

class BigArrayLong extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Ensures that, when a big array is deserialized, it is always empty.

Parameters:

in - the object input stream from which the big array will be deserialized

Throws:

IOException - if an error occurs while reading from the input stream

ClassNotFoundException - if a class needed to deserialize the big array is not found

Serialized Fields

budget

MemoryBudget budget

Each newly allocated chunk reduces this memory budget

chunk

long chunk

Chunk size (in bytes)

slotsPerChunk

int slotsPerChunk

The number of array indices each chunk will have

Class edu.uky.cs.nil.sabre.util.ImmutableArray

class ImmutableArray extends Object implements Serializable

Serialized Fields

array

Object[] array

The mutable array which this class protects from modification

Class edu.uky.cs.nil.sabre.util.ImmutableList

class ImmutableList extends Object implements Serializable

Serialized Fields

first

T first

The first element of the list

rest

ImmutableList<T> rest

All but the first element of the list

Class edu.uky.cs.nil.sabre.util.ImmutableSet

class ImmutableSet extends ImmutableArray<T> implements Serializable

Class edu.uky.cs.nil.sabre.util.MemoryBudget

class MemoryBudget extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Ensures that, when a memory budget is deserialized, it always has all of its memory remaining.

Parameters:

in - the object input stream from which the memory budget will be deserialized

Throws:

IOException - if an error occurs while reading from the input stream

ClassNotFoundException - if a class needed to deserialize the memory budget is not found

Serialized Fields

size

long size

The size of the budget in bytes

Class edu.uky.cs.nil.sabre.util.UniqueMap

class UniqueMap extends Object implements Serializable

Serialized Fields

mapping

Object[] mapping

An array in which to store the values

size

int size

The number of values stored in this map