net.sf.tweety.action.signature

Class FolAction

java.lang.Object

net.sf.tweety.action.signature.FolAction

All Implemented Interfaces:

java.lang.Iterable<FOLAtom>, ActionName

public class FolAction
extends java.lang.Object
implements java.lang.Iterable<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

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<FOLAtom>	actionNames

Constructor Summary

Constructors

Constructor and Description
FolAction() Creates a new action, which maps all action names to false.
FolAction(java.util.Set<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 and Description
java.util.Set<FOLAtom>	getAtoms() Returns all atoms, e.g.
java.lang.String	getName() Returns the name of this action.
boolean	isGround() Checks whether this action is ground or not.
java.util.Iterator<FOLAtom>	iterator()
FolAction	substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes terms in all non-zero-arity atoms in this action according to the given map.
java.lang.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

Field Detail

actionNames

private java.util.Set<FOLAtom> actionNames

Constructor Detail

FolAction

public FolAction()

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

FolAction

public FolAction(java.util.Set<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 java.util.Set<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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

substitute

public FolAction substitute(java.util.Map<? extends Term<?>,? extends 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 java.util.Iterator<FOLAtom> iterator()

Specified by:

iterator in interface java.lang.Iterable<FOLAtom>

getName

public java.lang.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.