| Interface | Description | 
|---|---|
| StateConditionTest | 
 And interface for defining classes that check for certain conditions in states. 
 | 
| StateConditionTestIterable | 
 An extension of the StateConditionTest that is iterable. 
 | 
| Class | Description | 
|---|---|
| SinglePFSCT | 
 A state condition class that returns true when ever any grounded version of a specified
 propositional function is true in a state. 
 | 
| TFGoalCondition | 
 A simple StateConditionTest wrapper of TerminalFunciton. 
 |