@Deprecated
class ReplacerOfQuanVariablesWithMetavariables
extends java.lang.Object
allTerm
and create constant functions for
all existential variables. The variables with new created metavariables or
constant functions are store to a map mapQM
.Modifier and Type | Field and Description |
---|---|
private static Name |
ARBITRARY_NAME
Deprecated.
|
Modifier | Constructor and Description |
---|---|
private |
ReplacerOfQuanVariablesWithMetavariables()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static Substitution |
createSubstitutionForVars(Term allTerm,
TermServices services)
Deprecated.
|
private static final Name ARBITRARY_NAME
private ReplacerOfQuanVariablesWithMetavariables()
public static Substitution createSubstitutionForVars(Term allTerm, TermServices services)