net.sf.tweety.action.transitionsystem

Class State

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 and 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 and 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 -

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.

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