Uses of Class
orc.ast.simple.arg.NamedVar

Packages that use NamedVar

orc.ast.extended.pattern
orc.ast.simple	Desugared AST which is close to the final format (OIL) but includes named variables.
orc.ast.simple.arg
orc.error.compiletime

Uses of NamedVar in orc.ast.extended.pattern

Methods in orc.ast.extended.pattern that return types with arguments of type NamedVar

java.util.Set<NamedVar>

PatternSimplifier.vars()

Methods in orc.ast.extended.pattern with parameters of type NamedVar

void	PatternSimplifier.subst(Var s, NamedVar x)

Uses of NamedVar in orc.ast.simple

Methods in orc.ast.simple with parameters of type NamedVar

Expression	WithLocation.subst(Argument a, NamedVar x)
Expression	Atomic.subst(Argument a, NamedVar x)
Expression	HasType.subst(Argument a, NamedVar x)
Expression	Semi.subst(Argument a, NamedVar x)
Expression	Isolated.subst(Argument a, NamedVar x)
Expression	TypeDecl.subst(Argument a, NamedVar x)
Definition	Definition.subst(Argument a, NamedVar x)
Expression	Silent.subst(Argument a, NamedVar x)
abstract Expression	Expression.subst(Argument a, NamedVar x) Performs the substitution [a/x], replacing occurrences of the free variable x with the new argument a (which could be any argument, including another variable).
Expression	Parallel.subst(Argument a, NamedVar x)
Expression	Call.subst(Argument a, NamedVar x)
Expression	Defs.subst(Argument a, NamedVar x)
Expression	Let.subst(Argument a, NamedVar x)
Sequential	Sequential.subst(Argument a, NamedVar x)
Expression	Where.subst(Argument a, NamedVar x)
Expression	Expression.subvar(Var v, NamedVar x) Performs the substitution [v/x], replacing occurrences of the free variable x with the nameless variable v.

Method parameters in orc.ast.simple with type arguments of type NamedVar

Definition	Definition.suball(java.util.Map<NamedVar,? extends Argument> m)
Expression	Expression.suball(java.util.Map<NamedVar,? extends Argument> m) Perform a set of substitutions defined by a map.

Uses of NamedVar in orc.ast.simple.arg

Methods in orc.ast.simple.arg with parameters of type NamedVar

int	NamedVar.compareTo(NamedVar f)
Argument	Argument.subst(Argument newArg, NamedVar oldArg)

Uses of NamedVar in orc.error.compiletime

Constructors in orc.error.compiletime with parameters of type NamedVar

NonlinearPatternException(NamedVar x)