Uses of Interface
edu.uky.cs.nil.tt.world.Logical

Packages that use Logical

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

Subinterfaces of Logical in edu.uky.cs.nil.tt.world

Modifier and Type	Interface	Description
interface	Expression	A logical expression is a logical formula that can be evaluated to return a value in a state.
interface	Value	A value is a logical expression which evaluates to itself.

Classes in edu.uky.cs.nil.tt.world that implement Logical

Modifier and Type	Class	Description
final class	Action	An action is a signed asset that causes a change in a story world's state.
class	Asset	An asset is any named object or concept in a story world.
class	Assignment	An assignment is a logical formula that assets that some variable in a story world has a value.
class	Constant	A constant is a logical value that always exists in all story worlds, such a the Boolean concepts of True and False, numbers, and so on.
class	Effect	An effect is a logical formula that describes one way that an action modifies one state variable.
final class	Ending	An ending is a signed asset that represents one of several possible ways a story can end.
final class	Entity	An entity is an asset that represents a character, object, place, or idea in a story world.
class	Proposition	A proposition is a logical expression that can be either true or false.
final class	Signature	A signature is a logical object that identifies a parameterized asset in a story world.
class	SignedAsset	A signed asset is an asset which has a unique signature among all other assets of that type in a story world.
final class	Variable	A variable is a signed asset that represents a feature of the story world state that can change.

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

Modifier and Type	Method	Description
Logical	Logical.substitute(Function<Object,Object> substitution)	Returns a logical object identical to this one, except that its logical elements have been replaced according to the given substitution.