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

Packages that use Proposition.Operator

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.Operator in edu.uky.cs.nil.tt.world

Subclasses with type arguments of type Proposition.Operator in edu.uky.cs.nil.tt.world

Modifier and Type	Class	Description
static enum	Proposition.Operator	An operator defines the behavior of a proposition.

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

Modifier and Type	Field	Description
final Proposition.Operator	Proposition.operator	An operator defines the type and behavior of a proposition

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

Modifier and Type	Method	Description
static Proposition.Operator	Proposition.Operator.valueOf(String name)	Returns the enum constant of this class with the specified name.
static Proposition.Operator[]	Proposition.Operator.values()	Returns an array containing the constants of this enum class, in the order they are declared.

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

Modifier	Constructor	Description
	Proposition(Proposition.Operator operator, Expression... arguments)	Constructs a new proposition from an operator and arguments.