Class State
- java.lang.Object
-
- org.tweetyproject.action.transitionsystem.State
-
public class State extends java.lang.Object
Represents a state in an action transition system, which is a representation of an interpretation of all fluent names in an action description.- Author:
- Sebastian Homann
-
-
Method Summary
Modifier and Type Method Description boolean
equals(java.lang.Object obj)
java.util.Set<FolAtom>
getPositiveFluents()
int
hashCode()
boolean
isMappedToTrue(FolAtom fluent)
Returns true iff the fluent given is mapped to true by this state.java.lang.String
toString()
-
-
-
Constructor Detail
-
State
public State(java.util.Set<FolAtom> fluents)
Creates a new State with a set of fluents that are mapped to true.- Parameters:
fluents
- The fluents which are mapped to true by this state.
-
-
Method Detail
-
isMappedToTrue
public boolean isMappedToTrue(FolAtom fluent)
Returns true iff the fluent given is mapped to true by this state.- Parameters:
fluent
- an FOL atom- Returns:
- true iff the fluent given is mapped to true by this state.
-
getPositiveFluents
public java.util.Set<FolAtom> getPositiveFluents()
- Returns:
- the set of fluent atoms that are mapped to true by this state.
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-