public class TernaryLogic
extends java.lang.Object
| Constructor and Description |
|---|
TernaryLogic() |
| 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
|
public static TernaryAtom and(TernaryAtom t1, TernaryAtom t2)
t1 - t2 - under Kleene logicpublic static TernaryAtom and(TernaryAtom t1, boolean b)