public abstract class AbstractAssumption extends java.lang.Object implements Assumption
Modifier and Type | Field and Description |
---|---|
protected boolean |
isValid |
protected java.lang.String |
name |
Modifier | Constructor and Description |
---|---|
protected |
AbstractAssumption(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName()
A name for the assumption that is used for debug output.
|
java.lang.String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
check, invalidate, isValid
public java.lang.String getName()
Assumption
getName
in interface Assumption
public java.lang.String toString()
toString
in class java.lang.Object