public class VarFinder extends Object
VarFinder(Op op)
static Set<Var>
filter(Op op)
fixed(Op op)
Set<Var>
getFilter()
getFixed()
getOpt()
optDefined(Op op)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public VarFinder(Op op)
public static Set<Var> optDefined(Op op)
public static Set<Var> fixed(Op op)
public static Set<Var> filter(Op op)
public Set<Var> getOpt()
public Set<Var> getFilter()
public Set<Var> getFixed()
Licenced under the Apache License, Version 2.0