public class TermCreationException
extends java.lang.RuntimeException
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID
generated serial version UID
|
Constructor and Description |
---|
TermCreationException(Operator op,
Term failed) |
TermCreationException(java.lang.String errorMessage) |
Modifier and Type | Method and Description |
---|---|
private static java.lang.String |
argsToString(SortedOperator f) |
private static java.lang.String |
getErrorMessage(Operator op,
Term failed) |
private static java.lang.String |
subsToString(ImmutableArray<Term> subs) |
private static final long serialVersionUID
public TermCreationException(java.lang.String errorMessage)
private static java.lang.String argsToString(SortedOperator f)
private static java.lang.String subsToString(ImmutableArray<Term> subs)