Package org.projog.core.predicate.builtin.list

Class PartialApplicationUtils

java.lang.Object

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

public class PartialApplicationUtils
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
private static java.lang.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 java.lang.Object

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

Field Detail

KEY_VALUE_PAIR_FUNCTOR

private static final java.lang.String KEY_VALUE_PAIR_FUNCTOR

See Also:

Constant Field Values

Constructor Detail

PartialApplicationUtils

public PartialApplicationUtils()

Method Detail

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)