public class TransitiveHull extends Object implements VerifierFactoryObserver
Modifier and Type | Field and Description |
---|---|
private int |
indent
Used for indentation.
|
Modifier | Constructor and Description |
---|---|
private |
TransitiveHull()
Not publicly instantiable.
|
public void update(String classname)
VerifierFactoryObserver
update
in interface VerifierFactoryObserver
public static void main(String[] args)