Uses of Interface
model.Clause

Packages that use Clause

Package	Description
controller	This package is the controller package of the model-view-controller (MVC) pattern.
controller.syntax	This package is the syntax package of the controller package.
model	This package is the model package of the model-view-controller (MVC) pattern.

Uses of Clause in controller

Methods in controller that return Clause

Modifier and Type	Method and Description
static Clause	Interpreter.stringToClause(String string, HashMap<String,Variable> variables) Deprecated. Converts the input string into a Clause object.

Uses of Clause in controller.syntax

Fields in controller.syntax declared as Clause

Modifier and Type	Field and Description
Clause	JLPSSyntaxParser.preconditions_return.conditions
Clause	JLPSSyntaxParser.preconditions_return.conflicts

Methods in controller.syntax that return Clause

Modifier and Type	Method and Description
Clause	JLPSSyntaxParser.and()
Clause	JLPSSyntaxParser.negation()
Clause	JLPSSyntaxParser.term()
Clause	JLPSSyntaxParser.truth()

Uses of Clause in model

Classes in model that implement Clause

Modifier and Type	Class and Description
class	AbstractOperator This class is the abstract class that gathers all the operator classes.
class	And This class represents and-clauses.
class	Arithmetic This class represents arithmetic expressions.
class	Equal This class represents equal clauses.
class	Not This class represents negative clauses.
class	SimpleSentence This class represents predicates.

Fields in model declared as Clause

Modifier and Type	Field and Description
private Clause	Rule.body
protected Clause	DPostDeclaration.body
private Clause	ReactiveRule.causes
private Clause	AbstractSolutionNode.clause
private Clause	Action.conditions
private Clause	Action.conflicts
private Clause	AndSolutionNode.operatorTail

Fields in model with type parameters of type Clause

Modifier and Type	Field and Description
protected List<Clause>	AbstractOperator.operands

Methods in model that return Clause

Modifier and Type	Method and Description
Clause	Rule.getBody() Gets the body of the rule.
Clause	AbstractSolutionNode.getClause() Gets the clause to prove in the context rules.
Clause	AbstractOperator.getFirstOperand() Gets the first positive operand of the operator.
Clause	Goal.getNextDefinition() Gets the next definition of the goal.
Clause	AbstractOperator.getOperand(int index) Gets the operand number index.
Clause	AbstractOperator.getOperatorTail() Gets the tail of the operator.

Methods in model that return types with arguments of type Clause

Modifier and Type	Method and Description
List<Clause>	AbstractOperator.getOperands() Gets all the operands of the operator.

Method parameters in model with type arguments of type Clause

Modifier and Type	Method and Description
protected Not	Not.create(List<Clause> operands) Generic constructor of the object.
protected And	And.create(List<Clause> operands) Generic constructor of the object.
protected abstract AbstractOperator	AbstractOperator.create(List<Clause> operands) Generic constructor of sub-objects.
void	AbstractOperator.setOperands(List<Clause> operands) Sets all the operands to the specified operands.

Constructors in model with parameters of type Clause

Constructor and Description
AbstractOperator(Clause... operands) Constructor of the class.
AbstractSolutionNode(Clause clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.
Action(SimpleSentence action, List<Initiator> initiators, List<Terminator> terminators, Clause conditions, Clause conflicts) Constructor of the class.
And(Clause... operands) Constructor of the class.
DPostDeclaration(SimpleSentence event, SimpleSentence fluent, Clause body) Constructor of the object.
Initiator(SimpleSentence event, SimpleSentence fluent, Clause body) Constructor of the class.
Not(Clause operands) Constructor of the class.
ReactiveRule(Clause conditions, SimpleSentence goal) Constructor of the class.
Rule(SimpleSentence head, Clause body) Constructor of the class in case of a backtracking rule.
Terminator(SimpleSentence event, SimpleSentence fluent, Clause body) Constructor of the class.

Constructor parameters in model with type arguments of type Clause

Constructor and Description
AbstractOperator(List<Clause> operands) Constructor of the class.
And(List<Clause> operands) Constructor of the class.