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