model

Class Not

java.lang.Object

model.AbstractOperator

model.Not

All Implemented Interfaces:

Clause, PCExpression

public class Not
extends AbstractOperator

This class represents negative clauses. It is a unary operator. It extends AbstractOperator.

Author:

Alexandre Camus

Field Summary

Fields inherited from class model.AbstractOperator

operands

Constructor Summary

Constructors

Constructor and Description
Not(Clause operands) Constructor of the class.

Method Summary

Methods

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

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

Not

public Not(Clause operands)

Constructor of the class.

Parameters:

operands - the only operand of the not operator.

Method Detail

create

protected Not 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 not-operator in an ArrayList object.

See Also:

AbstractOperator.create(java.util.List)

getSolver

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

Creates a solver which is a node in the tree proof. This is the version for the not 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 negative clause under the form of: "!(operand)".

Overrides:

toString in class Object

See Also:

Object.toString()