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