Manual: subtyping

class DFABuilder extends object
not documented
volatile
+init(self)
self not documented
returns not documented
not documented
volatile
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
finalize(self)
self not documented
returns not documented
not documented
volatile
get(self, nodeset, pol = null)
self not documented
nodeset not documented
pol not documented
returns not documented
not documented
volatile
neg(self, nodeset)
self not documented
nodeset not documented
returns not documented
not documented
volatile
pos(self, nodeset)
self not documented
nodeset not documented
returns not documented
not documented
volatile
class Group extends object
not documented
volatile
+init(self, terms = null, pol = null)
self not documented
terms not documented
pol not documented
returns not documented
not documented
volatile
+repr(self)
self not documented
returns not documented
not documented
volatile
class Term extends object
not documented
volatile
construct(self, pos, neg)
self not documented
pos not documented
neg not documented
returns not documented
not documented
volatile
merge(self, other, pol)
self not documented
other not documented
pol not documented
returns not documented
not documented
volatile
pairs(self, other)
self not documented
other not documented
returns not documented
not documented
volatile
subsume(self, other)
self not documented
other not documented
returns not documented
not documented
volatile
class Type extends object
not documented
volatile
+init(self, pol = null, terms = null)
self not documented
pol not documented
terms not documented
returns not documented
not documented
volatile
+repr(self)
self not documented
returns not documented
not documented
volatile
class VarRepr extends object
not documented
volatile
+init(self, name = null)
self not documented
name not documented
returns not documented
not documented
volatile
+repr(self)
self not documented
returns not documented
not documented
volatile
admissable(q1, q2)
q1 not documented
q2 not documented
returns not documented
not documented
volatile
biunify(p, q, visited)
p not documented
q not documented
visited not documented
returns not documented
not documented
volatile
blank_labels()
returns not documented
not documented
volatile
construct(groups, c_pol = null)
groups not documented
c_pol not documented
returns not documented
not documented
volatile
deconstruct(nodes)
nodes not documented
returns not documented
not documented
volatile
dir : path
not documented
volatile
flow_pair(neg = null, pos = null)
neg not documented
pos not documented
returns not documented
not documented
volatile
import : Import
not documented
volatile
merge(q1, q2)
q1 not documented
q2 not documented
returns not documented
not documented
volatile
name = "subtyping"
not documented
volatile
subsume(q1, q2, visited)
q1 not documented
q2 not documented
visited not documented
returns not documented
not documented
volatile