Uses of Enum Class
edu.uky.cs.nil.tt.world.Proposition.Operator
Packages that use Proposition.Operator
Package
Description
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.worldFields in edu.uky.cs.nil.tt.world declared as Proposition.OperatorModifier and TypeFieldDescriptionfinal Proposition.OperatorProposition.operatorAn operator defines the type and behavior of a propositionMethods in edu.uky.cs.nil.tt.world that return Proposition.OperatorModifier and TypeMethodDescriptionstatic Proposition.OperatorReturns 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.OperatorModifierConstructorDescriptionProposition(Proposition.Operator operator, Expression... arguments) Constructs a new proposition from an operator and arguments.