Uses of Class
edu.uky.cs.nil.tt.world.Proposition

Packages that use Proposition

Package	Description
edu.uky.cs.nil.tt.world	Story worlds define the objects, concepts, and actions that exist in a story, and story world models define the logic for when actions can happen, how actions change the current state of world, when endings happen, etc.

Uses of Proposition in edu.uky.cs.nil.tt.world

Fields in edu.uky.cs.nil.tt.world declared as Proposition

Modifier and Type	Field	Description
final Proposition	Effect.condition	A condition which, if true, means this effect will occur
static final Proposition	Proposition.FALSE	A proposition that is always false
static final Proposition	Proposition.TRUE	A proposition that is always true

Methods in edu.uky.cs.nil.tt.world that return Proposition

Modifier and Type	Method	Description
Proposition	LogicalWorld.getCondition(Ending ending)	Returns a logical proposition that defines when an ending should occur.
Proposition	LogicalWorld.getPrecondition(Action action)	Returns a logical proposition that defines when an action can be taken.
Proposition	LogicalWorld.getVisibility(Action action)	Returns a logical proposition that defines when the player would see an action happen.
Proposition	LogicalWorld.getVisibility(Entity entity)	Returns a logical proposition that defines when the player can see an entity.
Proposition	LogicalWorld.getVisibility(Variable variable)	Returns a logical proposition that defines when the player can see a varaiable's value.
Proposition	Proposition.substitute(Function<Object,Object> substitution)

Methods in edu.uky.cs.nil.tt.world with parameters of type Proposition

Modifier and Type	Method	Description
void	LogicalWorld.setCondition(Ending ending, Proposition condition)	Sets the logical proposition that defines when an ending should occur.
void	LogicalWorld.setPrecondition(Action action, Proposition precondition)	Sets the logical proposition that defines when an action can be taken.
void	LogicalWorld.setVisibility(Action action, Proposition visibility)	Sets the logical proposition that defines when the player can see an action happen.
void	LogicalWorld.setVisibility(Entity entity, Proposition visibility)	Sets the logical proposition that defines when the player can see an entity.
void	LogicalWorld.setVisibility(Variable variable, Proposition visibility)	Sets the logical proposition that defines when the player can see the value of a variable.

Constructors in edu.uky.cs.nil.tt.world with parameters of type Proposition

Modifier	Constructor	Description
	Effect(Proposition condition, Variable variable, Expression value)	Constructs a new effect with a condition, variable, and value.