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, waitcheck, invalidate, isValidpublic java.lang.String getName()
AssumptiongetName in interface Assumptionpublic java.lang.String toString()
toString in class java.lang.Object