public class State
extends java.lang.Object
Constructor and Description |
---|
State(java.util.Set<FOLAtom> fluents)
Creates a new State with a set of fluents that are mapped to true.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Set<FOLAtom> |
getPositiveFluents()
Returns the set of fluent atoms that are mapped to true by this state.
|
int |
hashCode() |
boolean |
isMappedToTrue(FOLAtom fluent)
Returns true iff the fluent given is mapped to true by this state.
|
java.lang.String |
toString() |
private java.util.Set<FOLAtom> fluents
public State(java.util.Set<FOLAtom> fluents)
fluents
- The fluents which are mapped to true by this state.public boolean isMappedToTrue(FOLAtom fluent)
fluent
- public java.util.Set<FOLAtom> getPositiveFluents()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object