orc.ast.extended.pattern
Class PatternVisitor
java.lang.Object
orc.ast.extended.pattern.PatternVisitor
public class PatternVisitor
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PatternVisitor
public PatternVisitor()
assign
public void assign(Var s,
Expression e)
subst
public void subst(Var s,
NamedVar x)
throws NonlinearPatternException
- Throws:
NonlinearPatternException
require
public void require(Var s)
publish
public void publish(Var s)
vars
public java.util.Set<NamedVar> vars()
filter
public Expression filter()
target
public Expression target(Var u,
Expression g)