|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectaminePlatform.engines.prologPlusCG.bindingContext.PPCGBindingContext
Title: PPCGBindingContext
Description: PPCGBindingContext implements the binding resolution process for Prolog+CG. Methods getValue() and setValue() are implemented according to the use of the unification stack.
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Nested Class Summary | |
(package private) class |
PPCGBindingContext.UnifConstraint
Title: UnifConstraint Description: UnifConstraint describes a contraint on variables/values. |
Field Summary | |
(package private) Lexicon |
lexicon
|
(package private) java.util.HashMap |
ppcgPrgs
|
(package private) Resolution |
resolution
|
(package private) UnificationStack |
unificationStack
|
Constructor Summary | |
PPCGBindingContext(Resolution resolution)
|
Method Summary | |
(package private) void |
addValVarConstraint(java.lang.Object value,
java.lang.Integer bindInfVal,
Variable variable,
java.lang.Integer bindInfVar)
|
(package private) void |
addVarConstr(Variable variable,
java.lang.Integer levelVariable,
Variable variable2,
java.lang.Integer levelVariable2)
|
(package private) void |
addVarVarConstraint(Variable lftVar,
java.lang.Integer lvlLftVar,
Variable rghtVar,
java.lang.Integer lvlRghtVar)
|
void |
clearCGConstrs()
clear the attribute cgConstrsArray |
void |
finalize()
|
CGOperations |
getCGOperations()
|
java.util.HashMap |
getSolution()
|
ObjectWithBindInf |
getValue(java.lang.Object obj,
java.lang.Object bindInf)
get the value of the specified object obj according to its binding information. |
boolean |
isBoundVariable(java.lang.Object obj,
java.lang.Object bindInf)
|
boolean |
isFreeVariable(java.lang.Object obj,
java.lang.Object bindInf)
|
void |
removeCGUnifConstrs()
remove the binding that occurred during unification of two CGs |
void |
setCGUnification(boolean state)
Is the unification applies inside an (embedded) CG or not ? |
void |
setLexicon(Lexicon lex)
|
void |
setValue(java.lang.Object obj1,
java.lang.Object bindInfObj1,
java.lang.Object obj2,
java.lang.Object bindInfObj2)
Add the constraint obj1 = obj2, taking into account their binding information. |
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
Lexicon lexicon
UnificationStack unificationStack
java.util.HashMap ppcgPrgs
Resolution resolution
Constructor Detail |
public PPCGBindingContext(Resolution resolution)
Method Detail |
public void finalize()
public void setLexicon(Lexicon lex)
public CGOperations getCGOperations()
getCGOperations
in interface BindingContext
public ObjectWithBindInf getValue(java.lang.Object obj, java.lang.Object bindInf)
getValue
in interface BindingContext
obj
- An ObjectbindInf
- The binding information of obj
public boolean isFreeVariable(java.lang.Object obj, java.lang.Object bindInf)
isFreeVariable
in interface BindingContext
public boolean isBoundVariable(java.lang.Object obj, java.lang.Object bindInf)
isBoundVariable
in interface BindingContext
public void setValue(java.lang.Object obj1, java.lang.Object bindInfObj1, java.lang.Object obj2, java.lang.Object bindInfObj2)
setValue
in interface BindingContext
obj1
- An ObjectbindInfObj1
- binding information for obj1obj2
- An ObjectbindInfObj2
- binding information for obj1void addValVarConstraint(java.lang.Object value, java.lang.Integer bindInfVal, Variable variable, java.lang.Integer bindInfVar)
void addVarVarConstraint(Variable lftVar, java.lang.Integer lvlLftVar, Variable rghtVar, java.lang.Integer lvlRghtVar)
void addVarConstr(Variable variable, java.lang.Integer levelVariable, Variable variable2, java.lang.Integer levelVariable2)
public void setCGUnification(boolean state)
setCGUnification
in interface BindingContext
state
- public void clearCGConstrs()
clearCGConstrs
in interface BindingContext
public void removeCGUnifConstrs()
BindingContext
removeCGUnifConstrs
in interface BindingContext
public java.util.HashMap getSolution()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |