lemon.external.gadfly.semantics.BTPredicate

Package lemon :: Package external :: Package gadfly :: Module semantics :: Class BTPredicate

[show private | hide private]

Class BTPredicate

SimpleRecursive --+
                  |
                 BTPredicate

Known Subclasses:: BTand_pred, BTnot_pred, BTor_pred, NontrivialEqPred

superclass for bound tuple predicates.
Eventually should be modified to use "compile" for speed
to generate an "inlined" evaluation function.
self(bt) returns bt with additional equality constraints
(possible) or None if predicate fails.

Method Summary
	`__init__(self, constraints)` default interpretation: True.
	`__and__(self, other)` NOTE: all subclasses must define an __and__!!!...
	`__call__(self, assignments, toplevel)` apply self to sequence of assignments...
	`__cmp__(self, other)`
	`__hash__(self)`
	`__invert__(self)`
	`__or__(self, other)`
	`__repr__(self)`
	`detrivialize(self)` hook added to allow elimination of trivialities return None if completely true, or simpler form or self, if no simplification is possible.
	`domain(self)`
	`initargs(self)`
	`negated_constraints(self)` equality constraints always false of satisfactory tuple.
	`relbind(self, dict, db)`
	`uncache(self)`
Inherited from SimpleRecursive
	`demarshal(self, args)`
	`marshaldata(self)`

Class Variable Summary
`NoneType`	`constraints` = None
`int`	`contains_aggregate` = 0
`int`	`false` = 0

Method Details

init(self, constraints=None)
(Constructor)

default interpretation: True.

and(self, other)
(And operator)

NOTE: all subclasses must define an __and__!!!

call(self, assignments, toplevel=0)
(Call operator)

apply self to sequence of assignments
return copy of asssignments with false results
replaced by 0!  Input may have 0's!

detrivialize(self)

hook added to allow elimination of trivialities
return None if completely true, or simpler form
or self, if no simplification is possible.

negated_constraints(self)

equality constraints always false of satisfactory tuple.

Class Variable Details

constraints

Type:: NoneType
Value:: None

contains_aggregate

Type:: int
Value:: 0

false

Type:: int
Value:: 0

Generated by Epydoc 2.0 on Mon Nov 10 15:08:32 2003

http://epydoc.sf.net

Class BTPredicate

__init__(self, constraints=None) (Constructor)

__and__(self, other) (And operator)

__call__(self, assignments, toplevel=0) (Call operator)

detrivialize(self)

negated_constraints(self)

constraints

contains_aggregate

false

init(self, constraints=None)
(Constructor)

and(self, other)
(And operator)

call(self, assignments, toplevel=0)
(Call operator)