State

java.lang.Object
- net.sf.tweety.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

Constructor Summary

Constructors
Constructor Description

State(java.util.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(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()`

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

- 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.
    
    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 class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object