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
|
public SinglePFSCT(PropositionalFunction pf)
pf - the propositional function to use for satisfaction testspublic boolean satisfies(State s)
satisfies in interface StateConditionTest