State

java.lang.Object

org.tweetyproject.action.transitionsystem.State

public class State extends 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

Constructor Summary

Constructors

Constructor

Description

State(Set<FolAtom> fluents)

Creates a new State with a set of fluents that are mapped to true.
Method Summary

Modifier and Type

Method

Description

boolean

equals(Object obj)

Set<FolAtom>

getPositiveFluents()

int

hashCode()

boolean

isMappedToTrue(FolAtom fluent)

Returns true iff the fluent given is mapped to true by this state.

String

toString()

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- State
  
  public State(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 Details
- 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 Set<FolAtom> getPositiveFluents()
  
  Returns:
  
  the set of fluent atoms that are mapped to true by this state.
- equals
  
  public boolean equals(Object obj)
  
  Overrides:
  
  equals in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object