orc.ast.extended.pattern
Class PatternVisitor

java.lang.Object
  extended by orc.ast.extended.pattern.PatternVisitor

public class PatternVisitor
extends java.lang.Object


Constructor Summary
PatternVisitor()
           
 
Method Summary
 void assign(Var s, Expression e)
           
 Expression filter()
           
 void publish(Var s)
           
 void require(Var s)
           
 void subst(Var s, NamedVar x)
           
 Expression target(Var u, Expression g)
           
 java.util.Set<NamedVar> vars()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PatternVisitor

public PatternVisitor()
Method Detail

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)