public abstract class AbstractTermTransformer extends AbstractSortedOperator implements TermTransformer
Modifier | Constructor and Description |
---|---|
protected |
AbstractTermTransformer(Name name,
int arity) |
protected |
AbstractTermTransformer(Name name,
int arity,
Sort sort) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
convertToDecimalString(Term term,
Services services) |
private static Sort[] |
createMetaSortArray(int arity) |
static TermTransformer |
name2metaop(java.lang.String s) |
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
transform
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
private static final java.util.Map<java.lang.String,AbstractTermTransformer> name2metaop
public static final Sort METASORT
public static final AbstractTermTransformer META_SHIFTRIGHT
public static final AbstractTermTransformer META_SHIFTLEFT
public static final AbstractTermTransformer META_AND
public static final AbstractTermTransformer META_OR
public static final AbstractTermTransformer META_XOR
public static final AbstractTermTransformer META_ADD
public static final AbstractTermTransformer META_SUB
public static final AbstractTermTransformer META_MUL
public static final AbstractTermTransformer META_DIV
public static final AbstractTermTransformer META_POW
public static final AbstractTermTransformer META_LESS
public static final AbstractTermTransformer META_GREATER
public static final AbstractTermTransformer META_LEQ
public static final AbstractTermTransformer META_GEQ
public static final AbstractTermTransformer META_EQ
public static final AbstractTermTransformer ARRAY_BASE_INSTANCE_OF
public static final AbstractTermTransformer CONSTANT_VALUE
public static final AbstractTermTransformer ENUM_CONSTANT_VALUE
public static final AbstractTermTransformer DIVIDE_MONOMIALS
public static final AbstractTermTransformer DIVIDE_LCR_MONOMIALS
public static final AbstractTermTransformer INTRODUCE_ATPRE_DEFINITIONS
public static final AbstractTermTransformer MEMBER_PV_TO_FIELD
public static final AbstractTermTransformer ADD_CAST
public static final AbstractTermTransformer EXPAND_QUERIES
protected AbstractTermTransformer(Name name, int arity)
private static Sort[] createMetaSortArray(int arity)
public static TermTransformer name2metaop(java.lang.String s)