jtabwb.engine

Class ForceBranchSuccess

java.lang.Object

jtabwb.engine.ForceBranchSuccess

All Implemented Interfaces:

_AbstractRule

public class ForceBranchSuccess
extends java.lang.Object
implements _AbstractRule

An final instance of _ClashDetectionRule whose _ClashDetectionRule.status() always returns ProofSearchResult.SUCCESS. This rule force branch success. Hence, after the application of this rule, the engine search for a branch point to restore and proof-search succeed if no branch-point exists.

Author:

Mauro Ferrari

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ForceBranchSuccess

public ForceBranchSuccess(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

premise

public final _AbstractGoal premise()

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

Returns:

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