public class LtlAdapterException
extends java.lang.RuntimeException
Constructor and Description |
---|
LtlAdapterException(LtlParseException e) |
Modifier and Type | Method and Description |
---|---|
LtlParseException |
getOriginalException() |
public LtlAdapterException(LtlParseException e)
public LtlParseException getOriginalException()