com.ibm.bluej.consistency

Class MaximumAPost

java.lang.Object

com.ibm.bluej.consistency.MaximumAPost

Direct Known Subclasses:

EvaluateMAP, FlexibleMAP, SingleMAP

public abstract class MaximumAPost
extends java.lang.Object

Method Summary

Methods

Modifier and Type	Method and Description
abstract boolean	checkBest()
abstract void	clear()
abstract IWorldWeight	getWorldWeight()
boolean	isInterested(ScanTerm t)
void	nowFalse(ScanTerm t) Called during the search (only if transactions are enabled) enables the MAPTracker to know what type of world this is currently Ex: a correct one, or a variant one
void	nowTrue(ScanTerm t) Called during the search (only if transactions are enabled) enables the MAPTracker to know what type of world this is currently Ex: a correct one, or a variant one

Methods inherited from class java.lang.Object

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

Method Detail

checkBest

public abstract boolean checkBest()

getWorldWeight

public abstract IWorldWeight getWorldWeight()

clear

public abstract void clear()

isInterested

public boolean isInterested(ScanTerm t)

nowTrue

public void nowTrue(ScanTerm t)

Called during the search (only if transactions are enabled) enables the MAPTracker to know what type of world this is currently Ex: a correct one, or a variant one

Parameters:

t -

nowFalse

public void nowFalse(ScanTerm t)

Called during the search (only if transactions are enabled) enables the MAPTracker to know what type of world this is currently Ex: a correct one, or a variant one

Parameters:

t -