Manual: subtyping

class DFABuilder extends object
not documented
volatile
subtyping.lc:282
+init(self)
self not documented
returns not documented
not documented
volatile
subtyping.lc:299
build(self, nodeset, pol, posf, negf)
self not documented
nodeset not documented
pol not documented
posf not documented
negf not documented
returns not documented
not documented
volatile
subtyping.lc:327
finalize(self)
self not documented
returns not documented
not documented
volatile
subtyping.lc:287
get(self, nodeset, pol = null)
self not documented
nodeset not documented
pol not documented
returns not documented
not documented
volatile
subtyping.lc:296
neg(self, nodeset)
self not documented
nodeset not documented
returns not documented
not documented
volatile
subtyping.lc:293
pos(self, nodeset)
self not documented
nodeset not documented
returns not documented
not documented
volatile
class Group extends object
not documented
volatile
subtyping.lc:360
+init(self, terms = null, pol = null)
self not documented
terms not documented
pol not documented
returns not documented
not documented
volatile
subtyping.lc:365
+repr(self)
self not documented
returns not documented
not documented
volatile
class Term extends object
not documented
volatile
subtyping.lc:34
construct(self, pos, neg)
self not documented
pos not documented
neg not documented
returns not documented
not documented
volatile
subtyping.lc:29
merge(self, other, pol)
self not documented
other not documented
pol not documented
returns not documented
not documented
volatile
subtyping.lc:26
pairs(self, other)
self not documented
other not documented
returns not documented
not documented
volatile
subtyping.lc:23
subsume(self, other)
self not documented
other not documented
returns not documented
not documented
volatile
class Type extends object
not documented
volatile
subtyping.lc:11
+init(self, pol = null, terms = null)
self not documented
pol not documented
terms not documented
returns not documented
not documented
volatile
subtyping.lc:16
+repr(self)
self not documented
returns not documented
not documented
volatile
class VarRepr extends object
not documented
volatile
subtyping.lc:350
+init(self, name = null)
self not documented
name not documented
returns not documented
not documented
volatile
subtyping.lc:353
+repr(self)
self not documented
returns not documented
not documented
volatile
subtyping.lc:257
admissable(q1, q2)
q1 not documented
q2 not documented
returns not documented
not documented
volatile
subtyping.lc:40
biunify(p, q, visited)
p not documented
q not documented
visited not documented
returns not documented
not documented
volatile
subtyping.lc:336
blank_labels()
returns not documented
not documented
volatile
subtyping.lc:101
construct(groups, c_pol = null)
groups not documented
c_pol not documented
returns not documented
not documented
volatile
subtyping.lc:156
deconstruct(nodes)
nodes not documented
returns not documented
not documented
volatile
dir : path
not documented
volatile
subtyping.lc:5
flow_pair(neg = null, pos = null)
neg not documented
pos not documented
returns not documented
not documented
volatile
import : Import
not documented
volatile
subtyping.lc:63
merge(q1, q2)
q1 not documented
q2 not documented
returns not documented
not documented
volatile
name = "subtyping"
not documented
volatile
subtyping.lc:78
subsume(q1, q2, visited)
q1 not documented
q2 not documented
visited not documented
returns not documented
not documented
volatile