org.processmining.plugins.petra.monotonicity.expressions

Class TernaryLogic

java.lang.Object

org.processmining.plugins.petra.monotonicity.expressions.TernaryLogic

public class TernaryLogic
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TernaryLogic()

Method Summary

Modifier and Type	Method and Description
static TernaryAtom	and(TernaryAtom t1, boolean b)
static TernaryAtom	and(TernaryAtom t1, TernaryAtom t2) Logic and of ternary atoms

Methods inherited from class java.lang.Object

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

Constructor Detail

TernaryLogic

public TernaryLogic()

Method Detail

and

public static TernaryAtom and(TernaryAtom t1,
                              TernaryAtom t2)

Logic and of ternary atoms

Parameters:

t1 -

t2 -

Returns:

See Also:

under Kleene logic

and

public static TernaryAtom and(TernaryAtom t1,
                              boolean b)