public static class Context.AcceptedUmbrella
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Method and Description |
---|---|
java.lang.String |
description() |
java.lang.String |
toSILKString() |
java.lang.String |
toString() |
void |
unDo(DomainTheory dt) |
java.lang.String |
unDoDescription() |
public java.lang.String toSILKString()
public java.lang.String description()
public void unDo(DomainTheory dt)
public java.lang.String unDoDescription()
public java.lang.String toString()
toString
in class java.lang.Object