Package tools.refinery.logic.term.truthvalue

Class TruthValueTerms

java.lang.Object

tools.refinery.logic.term.truthvalue.TruthValueTerms

public class TruthValueTerms
extends Object

Method Summary

Modifier and Type	Method	Description
static Term<TruthValue>	and(Term<TruthValue> left, Term<TruthValue> right)
static Term<TruthValue>	asTruthValue(Term<Boolean> body)
static Term<TruthValue>	constant(TruthValue value)
static Term<TruthValue>	eq(Term<TruthValue> left, Term<TruthValue> right)
static Term<TruthValue>	fromString(Term<StringValue> body)
static Term<Boolean>	may(Term<TruthValue> body)
static Term<Boolean>	must(Term<TruthValue> body)
static Term<TruthValue>	not(Term<TruthValue> body)
static Term<TruthValue>	notEq(Term<TruthValue> left, Term<TruthValue> right)
static Term<TruthValue>	or(Term<TruthValue> left, Term<TruthValue> right)
static Term<TruthValue>	xor(Term<TruthValue> left, Term<TruthValue> 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<TruthValue> constant(TruthValue value)

may

public static Term<Boolean> may(Term<TruthValue> body)

must

public static Term<Boolean> must(Term<TruthValue> body)

asTruthValue

public static Term<TruthValue> asTruthValue(Term<Boolean> body)

not

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

and

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

or

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

xor

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

eq

public static Term<TruthValue> eq(Term<TruthValue> left,
 Term<TruthValue> right)

notEq

public static Term<TruthValue> notEq(Term<TruthValue> left,
 Term<TruthValue> right)

fromString

public static Term<TruthValue> fromString(Term<StringValue> body)