public class ExpandQueriesMetaConstruct extends AbstractTermTransformer
QueryExpand
in order to insert query expansions in the term that the
meta construct is applied on.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
name |
ADD_CAST, ARRAY_BASE_INSTANCE_OF, CONSTANT_VALUE, DIVIDE_LCR_MONOMIALS, DIVIDE_MONOMIALS, ENUM_CONSTANT_VALUE, EXPAND_QUERIES, INTRODUCE_ATPRE_DEFINITIONS, MEMBER_PV_TO_FIELD, META_ADD, META_AND, META_DIV, META_EQ, META_GEQ, META_GREATER, META_LEQ, META_LESS, META_MUL, META_OR, META_POW, META_SHIFTLEFT, META_SHIFTRIGHT, META_SUB, META_XOR, METASORT
Constructor and Description |
---|
ExpandQueriesMetaConstruct() |
Modifier and Type | Method and Description |
---|---|
Term |
transform(Term term,
SVInstantiations svInst,
Services services)
term.sub(0) is the term that possibly contains queries.
|
convertToDecimalString, name2metaop
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
public static final java.lang.String name
public Term transform(Term term, SVInstantiations svInst, Services services)