State (Tweety (Action and Change) 1.17 API)

java.lang.Object
- net.sf.tweety.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<net.sf.tweety.logics.fol.syntax.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<net.sf.tweety.logics.fol.syntax.FolAtom>`	`getPositiveFluents()`	Returns the set of fluent atoms that are mapped to true by this state.
`int`	`hashCode()`
`boolean`	`isMappedToTrue(net.sf.tweety.logics.fol.syntax.FolAtom fluent)`	Returns true iff the fluent given is mapped to true by this state.
`String`	`toString()`

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

- Constructor Detail
  - State
```
public State(Set<net.sf.tweety.logics.fol.syntax.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(net.sf.tweety.logics.fol.syntax.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<net.sf.tweety.logics.fol.syntax.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(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