org.provarules.kernel2

Interface ProvaDerivationNode

All Known Implementing Classes:

ProvaDerivationNodeImpl

public interface ProvaDerivationNode

Field Summary

Fields

Modifier and Type	Field and Description
static byte	FAILED
static byte	IRRELEVANT
static byte	SUCCESS
static byte	UNKNOWN

Method Summary

Modifier and Type	Method and Description
ProvaGoal	getCurrentGoal()
int	getCutPredicate()
int	getId()
ProvaDerivationNode	getParent()
ProvaRule	getQuery()
boolean	isCut()
void	setCurrentGoal(ProvaGoal goal)
void	setCut(boolean b)
void	setCutPredicate(int intValue)
void	setFailed(boolean b)
void	setId(int next)
void	setParent(ProvaDerivationNode n)
void	setQuery(ProvaRule goalRule)

Field Detail

UNKNOWN

static final byte UNKNOWN

See Also:

Constant Field Values

FAILED

static final byte FAILED

See Also:

Constant Field Values

SUCCESS

static final byte SUCCESS

See Also:

Constant Field Values

IRRELEVANT

static final byte IRRELEVANT

See Also:

Constant Field Values

Method Detail

setFailed

void setFailed(boolean b)

setQuery

void setQuery(ProvaRule goalRule)

setId

void setId(int next)

setCut

void setCut(boolean b)

getQuery

ProvaRule getQuery()

isCut

boolean isCut()

setCutPredicate

void setCutPredicate(int intValue)

setCurrentGoal

void setCurrentGoal(ProvaGoal goal)

getCutPredicate

int getCutPredicate()

getId

int getId()

setParent

void setParent(ProvaDerivationNode n)

getParent

ProvaDerivationNode getParent()

getCurrentGoal

ProvaGoal getCurrentGoal()