Package tools.refinery.logic.term.bool

Class BoolTerms

java.lang.Object

tools.refinery.logic.term.bool.BoolTerms

public final class BoolTerms
extends Object

Method Summary

Modifier and Type	Method	Description
static Term<Boolean>	and(Term<Boolean> left, Term<Boolean> right)
static Term<Boolean>	constant(Boolean value)
static Term<Boolean>	not(Term<Boolean> body)
static Term<Boolean>	or(Term<Boolean> left, Term<Boolean> right)
static Term<Boolean>	xor(Term<Boolean> left, Term<Boolean> right)

Methods inherited from class java.lang.Object

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

Method Details

constant

public static Term<Boolean> constant(Boolean value)

not

public static Term<Boolean> not(Term<Boolean> body)

and

public static Term<Boolean> and(Term<Boolean> left,
 Term<Boolean> right)

or

public static Term<Boolean> or(Term<Boolean> left,
 Term<Boolean> right)

xor

public static Term<Boolean> xor(Term<Boolean> left,
 Term<Boolean> right)