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