Package gnu.kawa.functions

Class Unify

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.mapping.Procedure2

gnu.kawa.functions.IsEqual

gnu.kawa.functions.Unify

All Implemented Interfaces:

Named

public class Unify
extends IsEqual

Operator to unify two values, in the logic programming sense. If a value or sub-value is a blank promise, it is bound or linked.

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.Object	OK

Fields inherited from class gnu.mapping.Procedure2

applyToObject

Fields inherited from class gnu.mapping.Procedure

applyMethodType, applyToConsumerDefault, applyToConsumerMethod, applyToObjectDefault, applyToObjectMethod, compilerKey, compilerXKey, inlineIfConstantSymbol, validateApplyKey, validateXApplyKey

Fields inherited from class gnu.mapping.PropertySet

nameKey

Constructor Summary

Constructors

Constructor	Description
Unify(Language language, java.lang.String name)

Method Summary

Modifier and Type	Method	Description
boolean	apply(java.lang.Object arg1, java.lang.Object arg2, java.util.Map<java.lang.Object,java.util.ArrayList<java.lang.Object>> map)
java.lang.Object	apply2(java.lang.Object arg1, java.lang.Object arg2)

Methods inherited from class gnu.kawa.functions.IsEqual

apply, match, numberEquals

Methods inherited from class gnu.mapping.Procedure2

apply0, apply1, apply3, apply4, applyN, applyToObject, numArgs

Methods inherited from class gnu.mapping.Procedure

applyL, applyToConsumerDefault, applyToObjectDefault, checkArgCount, checkBadCode, getApplyMethod, getApplyToConsumerMethod, getApplyToObjectMethod, getReturnType, getSetter, getSourceLocation, isSideEffectFree, lookupApplyHandle, maxArgs, maxArgs, minArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation, toString

Methods inherited from class gnu.mapping.PropertySet

getName, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol

Methods inherited from class java.lang.Object

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

Field Detail

OK

public static java.lang.Object OK

Constructor Detail

Unify

public Unify(Language language,
             java.lang.String name)

Method Detail

apply

public boolean apply(java.lang.Object arg1,
                     java.lang.Object arg2,
                     java.util.Map<java.lang.Object,java.util.ArrayList<java.lang.Object>> map)

Overrides:

apply in class IsEqual

apply2

public java.lang.Object apply2(java.lang.Object arg1,
                               java.lang.Object arg2)

Overrides:

apply2 in class IsEqual