abc.ltl
Class LTLDebug

java.lang.Object
  abc.ltl.LTLDebug

public class LTLDebug
extends java.lang.Object

Author:

Eric Bodden

Field Summary

boolean	showExtractedXML
boolean	showFormulaAspects

Method Summary

static LTLDebug

v()

Methods inherited from class java.lang.Object

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

Field Detail

showExtractedXML

public boolean showExtractedXML

showFormulaAspects

public boolean showFormulaAspects

Method Detail

v

public static LTLDebug v()