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.Object
public boolean isTrue(State s)
s
- the state on which to evaluate the grounded propositional functionpublic java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object