eu.bandm.sig.semantics
Class TestAlgebra

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

public abstract class TestAlgebra
extends Object

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Detail

isTrue

public static boolean isTrue(Multimap<Variable,Label> possible,
                             Test t)

isFalse

public static boolean isFalse(Multimap<Variable,Label> possible,
                              Test t)

dnf

public static List<? extends List<TCotuple>> dnf(Test t)

cnf

public static List<? extends List<TCotuple>> cnf(Test t)

disjoint

public static boolean disjoint(Multimap<Variable,Label> possible,
                               Test... ts)