FolAction

java.lang.Object

org.tweetyproject.action.signature.FolAction

All Implemented Interfaces:: Iterable<FolAtom>

public class FolAction extends Object implements Iterable<FolAtom>

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

getAtoms()

Returns all atoms, e.g.

boolean

isGround()

Checks whether this action is ground or not.

Iterator<FolAtom>

iterator()

FolAction

substitute(Map<? extends Term<?>,? extends 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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Constructor Details
- FolAction
  
  public FolAction()
  
  Creates a new action, which maps all action names to false.
- FolAction
  
  public FolAction(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 Details
- getAtoms
  
  public 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 String toString()
  
  Overrides:
  
  toString in class Object
- substitute
  
  public FolAction substitute(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 Iterator<FolAtom> iterator()
  
  Specified by:
  
  iterator in interface Iterable<FolAtom>