Module rslogic::state
[−]
[src]
Logical States
A logical state is a collection of variable bindings.
Structs
State |
A logical state, containing a collection of variable bindings. |
Var |
Represents a logical variable. A variable must be created by calling
|
Traits
Unif |
Values used in a state must be unifiable. Unifying two values produces zero or more possible states, where variables that may be contained in the values may be bound in various combinations. |
Type Definitions
PossibleStates |
A collection of possible states. |