model

Class SimpleSentenceSolutionNode

java.lang.Object

model.AbstractSolutionNode

model.SimpleSentenceSolutionNode

public class SimpleSentenceSolutionNode
extends AbstractSolutionNode

This class represents a simple sentence node in the tree of proof. A solution node is a node in a tree of proof.

Author:

Alexandre Camus

Field Summary

Fields

Modifier and Type	Field and Description
private AbstractSolutionNode	child
private int	limit
private String	type

Fields inherited from class model.AbstractSolutionNode

nodesCreated

Constructor Summary

Constructors

Constructor and Description
SimpleSentenceSolutionNode(SimpleSentence clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
String	getType() Gets the type of the specified rule.
boolean	limitExceed() Checks if the limit of waited cycles is exceeded or not.
void	limitUpdate() Updates the limit every cycle.
SubstitutionSet	nextSolution() Creates the next solution for the simple sentence of the node.
protected void	reset(SubstitutionSet newParentSolution, RuleSet newRuleSet) Resets the subtree to the new state of the database and resets all the counters that prevent from infinite evaluation of the node.
void	setType(int ruleIndex) Sets the type of the specified rule.

Methods inherited from class model.AbstractSolutionNode

currentRuleCount, getClause, getCurrentRule, getDeepestLeaf, getParentNode, getParentSolution, getRuleSet, hasNextRule, nextRule, setDeepestLeaf

Methods inherited from class java.lang.Object

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

Field Detail

child

private AbstractSolutionNode child

type

private String type

limit

private int limit

Constructor Detail

SimpleSentenceSolutionNode

public SimpleSentenceSolutionNode(SimpleSentence clause,
                          RuleSet rules,
                          SubstitutionSet parentSolution,
                          AbstractSolutionNode parentNode)

Constructor of the class.

Parameters:

clause - the simple sentence to be proved by this subtree.

rules - the rules representing context of the proof.

parentSolution - the solution of the parent node in the tree of proof.

Method Detail

setType

public void setType(int ruleIndex)

Sets the type of the specified rule. The type is either "fact", "rule" or "action".

Parameters:

ruleIndex - the index in the set of rules, of the rule to type.

getType

public String getType()

Gets the type of the specified rule. The type is either "fact", "rule" or "action".

Returns:

the type this node.

reset

protected void reset(SubstitutionSet newParentSolution,
         RuleSet newRuleSet)

Resets the subtree to the new state of the database and resets all the counters that prevent from infinite evaluation of the node.

Overrides:

reset in class AbstractSolutionNode

Parameters:

newParentSolution - the new parent solution of the subtree.

newRuleSet - the new state of the database.

See Also:

AbstractSolutionNode.reset(model.SubstitutionSet, model.RuleSet)

nextSolution

public SubstitutionSet nextSolution()

Creates the next solution for the simple sentence of the node. If no solution exists, it will create a solution. Otherwise it will get a different solution or return null if there no other different solution.

Specified by:

nextSolution in class AbstractSolutionNode

Returns:

a SubstitutionSet object representing the bindings of the next solution or null if there is no next solution.

See Also:

AbstractSolutionNode.nextSolution()

limitExceed

public boolean limitExceed()

Checks if the limit of waited cycles is exceeded or not.

Returns:

true if not.

limitUpdate

public void limitUpdate()

Updates the limit every cycle.