Class PartialApplicationUtils

java.lang.Object

org.projog.core.predicate.builtin.list.PartialApplicationUtils

public class PartialApplicationUtils
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private static final String	KEY_VALUE_PAIR_FUNCTOR

Constructor Summary

Constructors

Constructor	Description
PartialApplicationUtils()

Method Summary

Modifier and Type	Method	Description
static boolean	apply(PredicateFactory pf, Term[] args)
static Term[]	createArguments(Term partiallyAppliedFunction, Term... extraArguments)
static PredicateFactory	getCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)
static PredicateFactory	getPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int numberOfExtraArguments)
static Predicate	getPredicate(PredicateFactory pf, Term action, Term... args)
static PredicateFactory	getPreprocessedCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)
static PredicateFactory	getPreprocessedPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int extraArgs)
static boolean	isAtomOrStructure(Term arg)
(package private) static boolean	isKeyValuePair(Term t)
static boolean	isList(Term arg)

Methods inherited from class Object

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

Field Details

KEY_VALUE_PAIR_FUNCTOR

private static final String KEY_VALUE_PAIR_FUNCTOR

See Also:

• Constant Field Values

Constructor Details

PartialApplicationUtils

public PartialApplicationUtils()

Method Details

isAtomOrStructure

public static boolean isAtomOrStructure(Term arg)

isList

public static boolean isList(Term arg)

getCurriedPredicateFactory

public static PredicateFactory getCurriedPredicateFactory(Predicates predicates,
 Term partiallyAppliedFunction)

getPreprocessedCurriedPredicateFactory

public static PredicateFactory getPreprocessedCurriedPredicateFactory(Predicates predicates,
 Term partiallyAppliedFunction)

getPreprocessedPartiallyAppliedPredicateFactory

public static PredicateFactory getPreprocessedPartiallyAppliedPredicateFactory(Predicates predicates,
 Term partiallyAppliedFunction,
 int extraArgs)

getPartiallyAppliedPredicateFactory

public static PredicateFactory getPartiallyAppliedPredicateFactory(Predicates predicates,
 Term partiallyAppliedFunction,
 int numberOfExtraArguments)

createArguments

public static Term[] createArguments(Term partiallyAppliedFunction,
 Term... extraArguments)

apply

public static boolean apply(PredicateFactory pf,
 Term[] args)

getPredicate

public static Predicate getPredicate(PredicateFactory pf,
 Term action,
 Term... args)

isKeyValuePair

static boolean isKeyValuePair(Term t)