Package tools.refinery.logic.literal

Class Literals

java.lang.Object

tools.refinery.logic.literal.Literals

public final class Literals
extends Object

Method Summary

Modifier and Type	Method	Description
static CheckLiteral	check(Term<Boolean> term)
static <T extends CanNegate<T>> T	not(CanNegate<T> literal)

Methods inherited from class java.lang.Object

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

Method Details

not

public static <T extends CanNegate<T>> T not(CanNegate<T> literal)

check

public static CheckLiteral check(Term<Boolean> term)