model

Class And

java.lang.Object

model.AbstractOperator

model.And

All Implemented Interfaces:

Clause, PCExpression

public class And
extends AbstractOperator

This class represents and-clauses. It is a n-ary operator. It extends AbstractOperator.

Author:

Alexandre Camus

Field Summary

Fields inherited from class model.AbstractOperator

operands

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected And	create(List<Clause> operands) Generic constructor of the object.
AndSolutionNode	getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
String	toString() Returns the and-clause under the form of: "operand1 & operand2 & ...".

Methods inherited from class model.AbstractOperator

getFirstOperand, getOperand, getOperands, getOperatorTail, isEmpty, operandCount, replaceVariables, setOperands, standardizeVariablesApart

Methods inherited from class java.lang.Object

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

Constructor Detail

And

public And(Clause... operands)

Constructor of the class.

Parameters:

operands - the operands of the and-operator in an array or as independent variables.

And

public And(List<Clause> operands)

Constructor of the class.

Parameters:

operands - the operands of the and-operator in an List object.

Method Detail

create

protected And create(List<Clause> operands)

Generic constructor of the object. It allows the methods of the abstract class AbstractOperator to create the correct object very easily.

Specified by:

create in class AbstractOperator

Parameters:

operands - the operands of the and-operator in an List object.

See Also:

AbstractOperator.create(java.util.List)

getSolver

public AndSolutionNode getSolver(RuleSet rules,
                        SubstitutionSet parentSolution,
                        AbstractSolutionNode parentNode)

Creates a solver which is a node in the tree proof. This is the version for the and operator.

This function is recursive over all objects that can be proved and creates the tree of proof for a clause.

Parameters:

rules - the RuleSet object containing the rules of knowledge.

parentSolution - the solution known so far at the parent node.

parentNode - the parent node in the tree.

Returns:

the node of the tree of proof.

See Also:

Clause.getSolver(RuleSet, SubstitutionSet, AbstractSolutionNode)

toString

public String toString()

Returns the and-clause under the form of: "operand1 & operand2 & ...".

Overrides:

toString in class Object

See Also:

Object.toString()