public class GroundedProp
extends java.lang.Object
implements java.lang.Cloneable
| Modifier and Type | Field and Description |
|---|---|
java.lang.String[] |
params |
PropositionalFunction |
pf |
| Constructor and Description |
|---|
GroundedProp(PropositionalFunction p,
java.lang.String[] par)
Initializes a grounded propositional function
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
clone() |
boolean |
equals(java.lang.Object obj) |
boolean |
isTrue(State s)
Evaluates whether this grounded propositional function is true in the provided state.
|
java.lang.String |
toString()
Returns a string representation of this grounded prop.
|
public PropositionalFunction pf
public java.lang.String[] params
public GroundedProp(PropositionalFunction p, java.lang.String[] par)
p - the propositional function that does the evaluationpar - the object name references on which the propositional function would be evaluatedpublic java.lang.Object clone()
clone in class java.lang.Objectpublic boolean isTrue(State s)
s - the state on which to evaluate the grounded propositional functionpublic java.lang.String toString()
toString in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Object