Package org.projog.core.predicate.udp

Class PredicateUtils

java.lang.Object

org.projog.core.predicate.udp.PredicateUtils

public final class PredicateUtils
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static SucceedsNeverPredicate	FALSE
static SucceedsOncePredicate	TRUE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	PredicateUtils()

Method Summary

Modifier and Type	Method	Description
(package private) static Predicate	createFailurePredicate(SpyPoints.SpyPoint spyPoint, Term[] args)
(package private) static Predicate	createSingleClausePredicate(ClauseAction clause, SpyPoints.SpyPoint spyPoint, Term[] args)
static Predicate	toPredicate(boolean result)

Methods inherited from class java.lang.Object

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

Field Detail

TRUE

public static final SucceedsOncePredicate TRUE

FALSE

public static final SucceedsNeverPredicate FALSE

Constructor Detail

PredicateUtils

private PredicateUtils()

Method Detail

toPredicate

public static Predicate toPredicate(boolean result)

createSingleClausePredicate

static Predicate createSingleClausePredicate(ClauseAction clause,
                                             SpyPoints.SpyPoint spyPoint,
                                             Term[] args)

createFailurePredicate

static Predicate createFailurePredicate(SpyPoints.SpyPoint spyPoint,
                                        Term[] args)