Package tools.refinery.store.dse.transition.actions

Class Action

java.lang.Object

tools.refinery.store.dse.transition.actions.Action

public class Action
extends Object

Constructor Summary

Constructors

Constructor	Description
Action(List<NodeVariable> parameters, List<? extends ActionLiteral> actionLiterals)

Method Summary

Modifier and Type	Method	Description
BoundAction	bindToModel(Model model)
List<ActionLiteral>	getActionLiterals()
int	getArity()
Set<NodeVariable>	getLocalVariables()
List<NodeVariable>	getParameters()
static Action	ofPrecondition(RelationalQuery precondition, List<? extends ActionLiteral> actionLiterals)
static Action	ofSymbolicParameters(List<SymbolicParameter> symbolicParameters, List<? extends ActionLiteral> actionLiterals)

Methods inherited from class java.lang.Object

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

Constructor Details

Action

public Action(List<NodeVariable> parameters,
 List<? extends ActionLiteral> actionLiterals)

Method Details

getParameters

public List<NodeVariable> getParameters()

getArity

public int getArity()

getLocalVariables

public Set<NodeVariable> getLocalVariables()

getActionLiterals

public List<ActionLiteral> getActionLiterals()

bindToModel

public BoundAction bindToModel(Model model)

ofSymbolicParameters

public static Action ofSymbolicParameters(List<SymbolicParameter> symbolicParameters,
 List<? extends ActionLiteral> actionLiterals)

ofPrecondition

public static Action ofPrecondition(RelationalQuery precondition,
 List<? extends ActionLiteral> actionLiterals)