Package net.sf.tweety.action.signature

Class FolAction

java.lang.Object

net.sf.tweety.action.signature.FolAction

All Implemented Interfaces:

Iterable<net.sf.tweety.logics.fol.syntax.FolAtom>, ActionName

public class FolAction
extends Object
implements Iterable<net.sf.tweety.logics.fol.syntax.FolAtom>, ActionName

An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'.

Author:

Sebastian Homann

Constructor Summary

Constructors

Constructor	Description
FolAction()	Creates a new action, which maps all action names to false.
FolAction(Set<net.sf.tweety.logics.fol.syntax.FolAtom> actionNames)	Creates a new action, which maps the given action names to true, and every thing else to false.

Method Summary

Modifier and Type	Method	Description
Set<net.sf.tweety.logics.fol.syntax.FolAtom>	getAtoms()	Returns all atoms, e.g.
String	getName()	Returns the name of this action.
boolean	isGround()	Checks whether this action is ground or not.
Iterator<net.sf.tweety.logics.fol.syntax.FolAtom>	iterator()
FolAction	substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)	Substitutes terms in all non-zero-arity atoms in this action according to the given map.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

FolAction

public FolAction()

Creates a new action, which maps all action names to false.

FolAction

public FolAction(Set<net.sf.tweety.logics.fol.syntax.FolAtom> actionNames)

Creates a new action, which maps the given action names to true, and every thing else to false.

Parameters:

actionNames - a set of action names which are mapped to true by this action.

Method Detail

getAtoms

public Set<net.sf.tweety.logics.fol.syntax.FolAtom> getAtoms()

Returns all atoms, e.g. all action names, that are mapped to true by this action.

Returns:

the set of atoms, that are contained in this action.

toString

public String toString()

Overrides:

toString in class Object

substitute

public FolAction substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)

Substitutes terms in all non-zero-arity atoms in this action according to the given map. This is used for grounding, where variables are substituted by constants.

Parameters:

map - a map, containing all substitutions to be applied.

Returns:

the resulting action.

isGround

public boolean isGround()

Checks whether this action is ground or not. An action is ground when all action names are ground.

Returns:

true iff this action is ground

iterator

public Iterator<net.sf.tweety.logics.fol.syntax.FolAtom> iterator()

Specified by:

iterator in interface Iterable<net.sf.tweety.logics.fol.syntax.FolAtom>

getName

public String getName()

Description copied from interface: ActionName

Returns the name of this action.

Specified by:

getName in interface ActionName

Returns:

the name of this action.