jtabwb.engine

Class ForceBranchFailure

java.lang.Object

jtabwb.engine.ForceBranchFailure

All Implemented Interfaces:

_AbstractRule

public class ForceBranchFailure
extends java.lang.Object
implements _AbstractRule

This rule force branch failure. Hence, after the application of this rule, the engine search for a backtrack point to restore and proof-search fail if no backtrack point exists.

Author:

Mauro Ferrari

Constructor Summary

Constructors

Constructor and Description
ForceBranchFailure(java.lang.String name, _AbstractGoal goal)

Method Summary

Modifier and Type	Method and Description
_AbstractGoal	goal() Returns the abstract node set on which the the proof-search failed.
java.lang.String	name() Returns the name of the rule

Methods inherited from class java.lang.Object

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

Constructor Detail

ForceBranchFailure

public ForceBranchFailure(java.lang.String name,
                          _AbstractGoal goal)

Method Detail

name

public final java.lang.String name()

Description copied from interface: _AbstractRule

Returns the name of the rule

Specified by:

name in interface _AbstractRule

Returns:

returns the name of the rule

goal

public final _AbstractGoal goal()

Returns the abstract node set on which the the proof-search failed.

Returns:

the abstract node set on which the the proof-search failed.