Uses of Class
eu.bandm.sig.absy.Test

Packages that use Test

eu.bandm.sig.absy	created on 2012-06-22_17h11m15 by program umod, version 0.17 command line = umod --getterfunctions true --setterfunctions true --monolithic false --swingtree true -x 0 /home/lepper/sig//src eu.bandm.sig.absy sig2.umod
eu.bandm.sig.semantics

Uses of Test in eu.bandm.sig.absy

Subclasses of Test in eu.bandm.sig.absy

class	BinaryTest
class	TAccept
class	TAnd
class	TCotuple
class	TFalse
class	TOr
class	TTrue

Fields in eu.bandm.sig.absy declared as Test

protected Test	BinaryTest.left
protected Test	BinaryTest.right
protected Test	NOverlay.test
protected Test	NDisjoint.test1
protected Test	NDisjoint.test2

Fields in eu.bandm.sig.absy with type parameters of type Test

static Function<BinaryTest,Test>	BinaryTest.get_left
static Function<BinaryTest,Test>	BinaryTest.get_right
static Function<NOverlay,Test>	NOverlay.get_test
static Function<NDisjoint,Test>	NDisjoint.get_test1
static Function<NDisjoint,Test>	NDisjoint.get_test2
static Consumer<Test,BinaryTest>	BinaryTest.set_left
static Consumer<Test,BinaryTest>	BinaryTest.set_right
static Consumer<Test,NOverlay>	NOverlay.set_test
static Consumer<Test,NDisjoint>	NDisjoint.set_test1
static Consumer<Test,NDisjoint>	NDisjoint.set_test2

Methods in eu.bandm.sig.absy that return Test

Test	Test.doclone()
Test	BinaryTest.get_left()
Test	BinaryTest.get_right()
Test	NOverlay.get_test()
Test	NDisjoint.get_test1()
Test	NDisjoint.get_test2()
Test	Test.initFrom(Object o0)

Methods in eu.bandm.sig.absy with parameters of type Test

protected void	__TREEGEN__.Inner1.Inner2.action(Test e0)
protected void	__Formatter.action(Test el)
protected void	Visitor.action(Test e0)
protected void	Rewriter.action(Test e0)
protected void	MATCH_ONLY_00.action(Test e0)
void	MATCH_ONLY_00.match(Test e0)
protected void	Rewriter.rewriteFields(Test clone)
boolean	BinaryTest.set_left(Test val)
boolean	BinaryTest.set_right(Test val)
boolean	NOverlay.set_test(Test val)
boolean	NDisjoint.set_test1(Test val)
boolean	NDisjoint.set_test2(Test val)
protected Format	__Formatter.toFormat(Test el)

Constructors in eu.bandm.sig.absy with parameters of type Test

BinaryTest(Test left, Test right)

NDisjoint(Test test1, Test test2, Net case1, Net case2)

NOverlay(Test test, Net case1, Net case2)

TAnd(Test left, Test right)

TOr(Test left, Test right)

Uses of Test in eu.bandm.sig.semantics

Methods in eu.bandm.sig.semantics that return Test

static Test

Normalizer.testify(Net n)

Methods in eu.bandm.sig.semantics with parameters of type Test

static List<? extends List<TCotuple>>	TestAlgebra.cnf(Test t)
static boolean	TestAlgebra.disjoint(Multimap<Variable,Label> possible, Test... ts)
static List<? extends List<TCotuple>>	TestAlgebra.dnf(Test t)
static boolean	TestAlgebra.isFalse(Multimap<Variable,Label> possible, Test t)
static boolean	TestAlgebra.isTrue(Multimap<Variable,Label> possible, Test t)