Orbital library

Uses of Interface
orbital.logic.trs.Substitution.Matcher

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

Copyright © 1996-2009 André Platzer
All Rights Reserved.