org.provarules.reference2

Class ProvaDerivationNodeImpl

java.lang.Object

org.provarules.reference2.ProvaDerivationNodeImpl

All Implemented Interfaces:

ProvaDerivationNode

public class ProvaDerivationNodeImpl
extends java.lang.Object
implements ProvaDerivationNode

Field Summary

Fields inherited from interface org.provarules.kernel2.ProvaDerivationNode

FAILED, IRRELEVANT, SUCCESS, UNKNOWN

Constructor Summary

Constructors

Constructor and Description
ProvaDerivationNodeImpl() Constructor.

Method Summary

Modifier and Type	Method and Description
ProvaGoal	getCurrentGoal() Get the applied clause.
int	getCutPredicate()
int	getId()
ProvaDerivationNode	getParent() Get the parent derivation node.
ProvaRule	getQuery() Get the query.
int	getState() Get the state of this node.
ProvaUnification	getUnification() Get the unification.
boolean	isCut()
boolean	isFailed() Indicates whether this derivation step has failed.
void	setCurrentGoal(ProvaGoal currentGoal)
void	setCut(boolean cut)
void	setCutPredicate(int cutPredicate)
void	setFailed(boolean f) Set the failed flag.
void	setId(int id)
void	setParent(ProvaDerivationNode n) Set the parent node.
void	setQuery(ProvaRule f) Set the query.
void	setUnification(ProvaUnification u) Set the unification.
java.lang.String	toString() Convert the derivation node to a string.

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaDerivationNodeImpl

public ProvaDerivationNodeImpl()

Constructor.

Method Detail

setCurrentGoal

public void setCurrentGoal(ProvaGoal currentGoal)

Specified by:

setCurrentGoal in interface ProvaDerivationNode

getCurrentGoal

public ProvaGoal getCurrentGoal()

Get the applied clause.

Specified by:

getCurrentGoal in interface ProvaDerivationNode

Returns:

the applied clause

getParent

public ProvaDerivationNode getParent()

Get the parent derivation node.

Specified by:

getParent in interface ProvaDerivationNode

Returns:

the parent node

getQuery

public ProvaRule getQuery()

Get the query.

Specified by:

getQuery in interface ProvaDerivationNode

Returns:

the query

getState

public int getState()

Get the state of this node.

Returns:

the state, the value is one of the constants defined in org.mandarax.kernel.DerivationNodeImpl

getUnification

public ProvaUnification getUnification()

Get the unification.

Returns:

the unification applied

isFailed

public boolean isFailed()

Indicates whether this derivation step has failed.

Returns:

true if this proof step has failed, false otherwise

setFailed

public void setFailed(boolean f)

Set the failed flag.

Specified by:

setFailed in interface ProvaDerivationNode

Parameters:

f - true if this node has failed, false otherwise

setQuery

public void setQuery(ProvaRule f)

Set the query.

Specified by:

setQuery in interface ProvaDerivationNode

Parameters:

f - a query

setUnification

public void setUnification(ProvaUnification u)

Set the unification.

Parameters:

u - a unification

toString

public java.lang.String toString()

Convert the derivation node to a string.

Overrides:

toString in class java.lang.Object

Returns:

the string representation of this object

isCut

public boolean isCut()

Specified by:

isCut in interface ProvaDerivationNode

setCut

public void setCut(boolean cut)

Specified by:

setCut in interface ProvaDerivationNode

getId

public int getId()

Specified by:

getId in interface ProvaDerivationNode

setId

public void setId(int id)

Specified by:

setId in interface ProvaDerivationNode

getCutPredicate

public int getCutPredicate()

Specified by:

getCutPredicate in interface ProvaDerivationNode

setCutPredicate

public void setCutPredicate(int cutPredicate)

Specified by:

setCutPredicate in interface ProvaDerivationNode

setParent

public void setParent(ProvaDerivationNode n)

Set the parent node.

Specified by:

setParent in interface ProvaDerivationNode

Parameters:

n - a node