eu.bandm.sig.semantics
Class TermAlgebra

java.lang.Object
  eu.bandm.sig.semantics.TermAlgebra

public class TermAlgebra
extends Object

Constructor Summary

TermAlgebra()

Method Summary

static Multimap<Variable,Variable>	defUse(Constraint c)
static eu.bandm.sig.semantics.TermAlgebra.Variables	variables(Constraint c)
static eu.bandm.sig.semantics.TermAlgebra.Variables	variables(Expression e)
static eu.bandm.sig.semantics.TermAlgebra.Variables	variables(Pattern p)
static eu.bandm.sig.semantics.TermAlgebra.Variables	variables(Rule r)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TermAlgebra

public TermAlgebra()

Method Detail

variables

public static eu.bandm.sig.semantics.TermAlgebra.Variables variables(Expression e)

variables

public static eu.bandm.sig.semantics.TermAlgebra.Variables variables(Pattern p)

variables

public static eu.bandm.sig.semantics.TermAlgebra.Variables variables(Constraint c)

variables

public static eu.bandm.sig.semantics.TermAlgebra.Variables variables(Rule r)

defUse

public static Multimap<Variable,Variable> defUse(Constraint c)