;;; OBJECT CLASSIFIER -- cyclic definition version
;;; HISTORY [DOCUMENTATION]

#|
;;;;;;;;;;  history of work
1998.04.22
+ compass  categoryɒǉB
̊֐̎sAentry-objectlink-sub*ɂApartition̏
sꂸAloopɂ͂B
ŁAmake-dummy-partition̒Ŏs邱ƂɂBentry-object͏A
link-sub*ł͂ȂB

ɂƂȂāAcategory̒`ŁÂƂpartition̏ԂQƂ
nilpartitionɂԂB́At partition̂ƂȂ̂ŁAt
悤ɂB

+ ŁA̎_ł̊ȁB


1998.04.21
+ browserpure-theorist͂܂B
t ɑobject\ȂƂɂȂB
*pure-theorist*RgɂB

+ categoryset-stateǉ-
ȗ\ŁAentry-object̂ƂŎsB܂Aŏ̃N̂Ƃ
ݒ肳B---N邽тɎsقȂ??

+ categorysuper̎w()(t)Ƃ݂Ȃ̂͂߂悤B
cycliĉƂ(t xxx)ƏKv̂ŁA()̉߂Ɩ邩B

BUG/browser AllegrỏLispworkɂȂB
classifier̒`ŁAlevel̏l1ɂAllegro͕\Ȃ̂ŁA
ł͂ȂB

gropuinĝ߂hashtableAӂʂĂ܂ĂB:test#'equalɂ
ЂƂɂȂB


1998.04.20
8(2)̂́Aconstraint̃`FbNłƗ\złA
CĂȂ͂Ȃ̂ŁARȂB
objclass.lspobjclasc.lsprĂ݂ƂǍĂB
܂A

initialize-instance :after (partition)

̒ŁApartitionnameȂƂAconstraint*ݒ肷鏈ĂȂB
ȑÓA2xmake-instanceĂÁAŏɍdummyo^Ă̂
̕܂ĂȂƂɋCÂB
codemethodƂāAput-object(category)̒ŁAdummyɑ΂
put-objectOɎsĂ邱ƂŁAɓ삷悤ɂȂB


debug֐ʃt@CɂāAclassifier, browser̗require悤ɂB
*debug-category*́AʂɂȂĂ܂A܂̂Ƃ낵ȂB

ׂĂƁApackage̓ɂāAl͂悭ĂȂ悤B
ꂪƂ킩΁A܂@邾낤B

1998.04.19
OC Ɋւ鐫(CGRAPH.TXT)
CYCLICȒ`̏ꍇ́Aǂ semantics ɂȂ̂낤B悭킩ȂB

1998.04.18
CLtL2 ݂ĂAapplyfuncall̑p^lambdaɂ͕KfunctionKv݂B

case 8 (2) 

constraint, representaion ̂قɁApartition̏ԂɕύX邽߂method
`ł悤ɂȂƁAAԂς̂킩ȂB

1998.04.17
t@Cobjclasc.lspƂcycliccategory`悤ɂB

1. category̒`cyclicłȂ̂́Aparent*-child* link 𓮓Iɐݒ肵Ă邽߁B
=> categorySĂAN͂悤ɏCB -- @\́AςȂB

2. constraintrepresentatiońAVɎ̎͂̏(ߖT?)m邽߂objectKvɂȂB
łȂƁAcyclicinstance ~߂邱ƂłȂB

@1) useŕApartitionsubclass`AclassifierɋAput-object́A
  partitionłȂAclassgpartition-treeB

@2) eq֌Wf[^ userdata class  subclass [Uɒ`A
  gB́A@1ƁAuserpartition̖֌Wslot܂ŃANZXł
܂B...C++protected݂̂͂Ȃ񂾂낤??

@3) defclassifierłslot`AslotpartitionsubclassB
  @1Ɠ悤ɁApartitionɃANZXłĂ܂A@2linkpartitionuserdata
œ悤ɃeiXȂĂ͂ȂȂ̂ǁAꂪȂȂʓ|A
dɂ̂͂΂Ă̂ŁÄĂlB

́A@3łB




1998.04.16 -- ܂łobjclass.lspƓ
parent*, child* ʂclassɂmulti-inheriatncełƎvAcategory
partitionł́Aparent*read/accessĂāA܂Ȃ̂ł߂B

classifiert category݂Ȃ悤ȋCĂAhash tableɓĂ̂B

1998.04.14
add-constraint ŁAchildconstraintɁAchildgpresentation condition
ȂB

debug ̂肩ςBwhen𓱓B

join͂܂AׂĂpartition΂΂ɂȂĂ܂B

t  representation  "t"ɂȂĂ̂ɁAtpartition֐ 't ԂĂ߁B
𒼂A܂ÂȂ̂unionɊ܂܂悤ɂȂB

ƂŁAunionjoinɖOׂB炩B

partition  initialize-instanceparentconstraint*QƂĂ̂
̒iKł͂܂parent͂킩Ȃ̂BށB

partitionō쐬ĂāAƂ苭object
o^悤ƂƂAobject̓𖞂̂ŁAjoinĂ܂B
Ƃ̂́A肵Ă͂悤ȏꍇB

(a)ЂƂ̉@́ApartitionɑobjectV𖞂ǂ
𒲂ׂāAȂAɓo^̂߂B
́AdB܂A܂ł̏Ȃd̂ǁB
肩Ȃ̂́Aꂪ鐧ł͂ȂƂƁB

partitionobjectV𖞂ǂAV
܂ŕȂƂ̂AȂ񂩊JĂĂ邢B

AꂪȂB

(b)̉\́Â܂܂ŁAunionƎ咣邱Ƃ
A (B C) ̂ƂAa̗vfAxyǂ炩̃pXłǂ
߂ɂƁAA (B)  A (B B)ƂႤ̂ɂȂĂ܂B
܂AA (B B)ł́Ab1 b2 subƂāAa ̓representation̂
ЂƂ a ɏW񂳂Ă܂B

A(B)A(B B)͈Ⴄ̂ƌ邱Ƃ͂ł邾낤?

(a)̂肩邱ƂɂB

ǂApartitionobject*ɓo^邽߂ɂ́ApartitionwĂ
ׂĂconstraint𖞂ȂĂ͂ȂȂ݂B܂ǁB

joinƂɁAqׂ̂Ăobjectɑ΂ď̂قɂׂ
邱ƂmFĂ邩AƂɂAobject*ɓo^邽߂ɂ
full-satisfy*ł邱ƂvB

́Apartitionput-objectĂ΂ĂƂ́A݂͂Ă
ƎvĂ邩AƂ悭lȂƂȂB

* ΁Acategoryput-objectpartitioninstancemakeiKł
parent*͂킩ȂBƂŁAlink-sub*Ƃɐݒ肳B

show-partition-info, show-category-info B
ȂقǁAconstraint* ̒lB



----
1998.04.13
union̏ɒB
full-constraintpartitionƂɒǉB
(constraint (category part)) & (equal (presentation part) (presentation-name part))

----
1998.04.12 make-classifieŕAmetaclassgāAmake-instance:afterŎs΂悢B
̂悤ɂB

----
1998.04.12 representation ɕƁAg悤ɕύX悤
           constraint  t ƁAtƂȂ悤ɂ悤
1998.04.12 C
make-categoryƂAlambda𐶐悤ɂB
apply͕ςȂB

function^C~Omake-category̒łȂAĂяoƂ
B

satisfy?  partition-name Bapplyɂ̂͂₾B
----
1998.04.10 unionpartitiońAׂĕʌ݂̑ƂȂAunion ɂ͂ȂȂB
test1/case 8 (1)

unition邽߂ɂ́Aput-objecttraverseĂԂ́Aobject
o^ꂽAׂĂ̗(resume)B
āAput-object-subŁAsub partitionTOɁAresume̒
o^łpartition݂ApartƂȂB
child part, child cat ̌ł́Aunion child ͏OB
̂߂ɁAobjectĂ cargo`B
history𓱓AresumeĂ͕ςȂƂmFB
unionł͂ȂAjoinłȂĂ͂ȂȂ݂B
partition ɑƂƂ́Aparentׂ̏Ė
킯AjoinłȂB

 a (b)  a (b b)߂ɂȂȂĂ͂ȂȂ̂Aunion
ōlƂǂĂB

joinłƂƁAobject́Apartɂ邷ׂĂpath
ɂsatisfy?͂Ȃ̂ŁAresume݂Ă΂킩B

resume, sub-partition, sub-categorŷꂼɂă`FbN悤
ɂBAcase 8 ݂ƁA̋@\͂܂ɂȂ
Ƃ킩B
ށB

----
1998.04.10 sub partition łЂƂ݂ƖĂ܂悤B
           \ȂׂĂsub partɓo^悤ɂ悤
case 7(2)
1998.04.12 ׂ݂Ăpartitionɓo^悤ɏC

put-object-sub̓ύXApartcat̗ւ̓o^
悤ɂB


ŏႢldiffgĂBset-difference
-----
1998.04.08 categorypartitionƓ悤ɕׂ
 C1 --> C2

 R11 --> R21 -->R31(C3)
 R12 --> R22 -->R31(C3)
1998.04.12 ͂߂邱Ƃɂ
R
Ԃɑ݂Ȃ΂ȂȂǗobject́Aconstraint1:1̂̂ƁA
partitionɑ΂1:1̗̂̂B
̂A̒ԊǗobject́AKSɕKvȏێłȂB
bgƂ΁Asub partition categoryŕނ邱ƂȂ̂A
Ăǂɗ̂܂ȂB

Ⴆ΁AĂłƍlĂuniońAȂłłĂ܂B
1998.04.12 unionɊւẮAႢĂB

--
1998.04.10 Ȃobject𓯂partitionɏdēo^Ȃ悤ɂ
1998.04.10 test suits9܂ō

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|#
