Class PredicateUtils

java.lang.Object

org.projog.core.predicate.udp.PredicateUtils

public final class PredicateUtils
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final SucceedsNeverPredicate	FALSE
static final 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 Object

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

Field Details

TRUE

public static final SucceedsOncePredicate TRUE

FALSE

public static final SucceedsNeverPredicate FALSE

Constructor Details

PredicateUtils

private PredicateUtils()

Method Details

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)