public class SinglePFSCT extends java.lang.Object implements StateConditionTest
| Constructor and Description |
|---|
SinglePFSCT(PropositionalFunction pf)
Initializes with the propositional function that is checked for state satisfaction
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
satisfies(State s) |
public SinglePFSCT(PropositionalFunction pf)
pf - the propositional function to use for satisfaction testspublic boolean satisfies(State s)
satisfies in interface StateConditionTest