|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Substitution.Matcher | |
---|---|
orbital.logic.trs | Provides a term rewrite system (TRS) mechanism with substitution and unification. |
Uses of Substitution.Matcher in orbital.logic.trs |
---|
Methods in orbital.logic.trs that return Substitution.Matcher | |
---|---|
static Substitution.Matcher |
Substitutions.createExactMatcher(java.lang.Object pattern)
Create a new exact matcher that does not perform substitution. |
static Substitution.Matcher |
Substitutions.createExactMatcher(java.lang.Object pattern,
java.lang.Object substitute)
Create a new exact matcher that performs substitution. |
static Substitution.Matcher |
Substitutions.createSingleSidedMatcher(java.lang.Object pattern)
Create a new single sided matcher with unification that does not perform substitution. |
static Substitution.Matcher |
Substitutions.createSingleSidedMatcher(java.lang.Object pattern,
java.lang.Object substitute)
Create a new single sided matcher with unification that performs substitution, without conditions. |
static Substitution.Matcher |
Substitutions.createSingleSidedMatcher(java.lang.Object pattern,
java.lang.Object substitute,
Predicate condition)
Create a new single sided matcher with unification that performs a substitution under a given condition. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |