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 Object	OK

Fields inherited from class Procedure2

applyToObject

Fields inherited from class Procedure

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

Fields inherited from class PropertySet

nameKey

Constructor Summary

Constructors

Constructor	Description
Unify(Language language, String name)

Method Summary

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

Methods inherited from class IsEqual

apply, match, numberEquals

Methods inherited from class Procedure2

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

Methods inherited from class 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 PropertySet

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

Methods inherited from class Object

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

Field Details

OK

public static Object OK

Constructor Details

Unify

public Unify(Language language,
 String name)

Method Details

apply

public boolean apply(Object arg1,
 Object arg2,
 Map<Object, ArrayList<Object>> map)

Overrides:

apply in class IsEqual

apply2

public Object apply2(Object arg1,
 Object arg2)

Overrides:

apply2 in class IsEqual