org.projog.core.predicate.builtin.list

Class PartialApplicationUtils

java.lang.Object

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

public class PartialApplicationUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
PartialApplicationUtils()

Method Summary

Modifier and Type	Method and 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)
static boolean	isList(Term arg)

Methods inherited from class java.lang.Object

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

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)