Class FolAction
- java.lang.Object
-
- org.tweetyproject.action.signature.FolAction
-
-
Method Summary
Modifier and Type Method Description java.util.Set<FolAtom>
getAtoms()
Returns all atoms, e.g.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()
-
-
-
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 classjava.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
-
-