com.ugos.jiprolog.extensions.sets

Class Bagof3

java.lang.Object

com.ugos.jiprolog.engine.JIPXCall

com.ugos.jiprolog.extensions.sets.Findall3

com.ugos.jiprolog.extensions.sets.Bagof3

public class Bagof3
extends Findall3

Constructor Summary

Constructors

Constructor and Description
Bagof3()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	hasMoreChoicePoints() Invoked by xcall/2 to check if the custom predicate has more choice points on backtracking.
boolean	unify(JIPCons input, Hashtable varsTbl) Invoked by xcall/2 to check if the custom predicate unify with the passed parameters For more information see the section "How to write a custom built-in predicate" in the Reference Manual.

Methods inherited from class com.ugos.jiprolog.extensions.sets.Findall3

collect

Methods inherited from class com.ugos.jiprolog.engine.JIPXCall

getJIPEngine, getPredicate, getQueryHandle, init

Methods inherited from class java.lang.Object

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

Constructor Detail

Bagof3

public Bagof3()

Method Detail

unify

public final boolean unify(JIPCons input,
            Hashtable varsTbl)

Description copied from class: JIPXCall

Invoked by xcall/2 to check if the custom predicate unify with the passed parameters For more information see the section "How to write a custom built-in predicate" in the Reference Manual.

Overrides:

unify in class Findall3

Parameters:

input - the parameters passed to the predicate.

Returns:

true if the custom predicates unify with the parameter passed, false otherwise

See Also:

JIPCons

hasMoreChoicePoints

public final boolean hasMoreChoicePoints()

Description copied from class: JIPXCall

Invoked by xcall/2 to check if the custom predicate has more choice points on backtracking.

Overrides:

hasMoreChoicePoints in class Findall3

Returns:

true if the custom predicate has more choice points, false otherwise.