Index

_

__add__() (pyudbm.binding.udbm.Federation method) __all__ (in module pyudbm.binding.ucdd) (in module pyudbm.binding.udbm) (in module pyudbm.binding.utap) (in module pyudbm.binding.utap_builder) (in module pyudbm.binding.visual) __and__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.udbm.Federation method) __AUTHOR__ (in module pyudbm.config.meta) __AUTHOR_EMAIL__ (in module pyudbm.config.meta) __DESCRIPTION__ (in module pyudbm.config.meta) __enter__() (pyudbm.binding.utap_builder.TemplateBuilder method) __eq__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDVariableDifference method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) (pyudbm.binding.udbm.VariableDifference method) __exit__() (pyudbm.binding.utap_builder.TemplateBuilder method) __ge__() (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDVariableDifference method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) (pyudbm.binding.udbm.VariableDifference method) __getitem__() (pyudbm.binding.ucdd.CDDContext method) (pyudbm.binding.udbm.Context method) __gt__() (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDVariableDifference method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) (pyudbm.binding.udbm.VariableDifference method) __hash__() (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDContext method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) __iadd__() (pyudbm.binding.udbm.Federation method) __iand__() (pyudbm.binding.udbm.Federation method) __init__() (pyudbm.binding.ucdd.BDDTraceSet method) (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDContext method) (pyudbm.binding.ucdd.CDDExtraction method) (pyudbm.binding.ucdd.CDDVariableDifference method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Constraint method) (pyudbm.binding.udbm.Context method) (pyudbm.binding.udbm.DBM method) (pyudbm.binding.udbm.Federation method) (pyudbm.binding.udbm.Valuation method) (pyudbm.binding.udbm.VariableDifference method) (pyudbm.binding.utap.ModelDocument method) (pyudbm.binding.utap_builder.ModelBuilder method) (pyudbm.binding.utap_builder.TemplateBuilder method) __invert__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) __ior__() (pyudbm.binding.udbm.Federation method)

__isub__() (pyudbm.binding.udbm.Federation method) __iter__() (pyudbm.binding.ucdd.BDDTraceSet method) __le__() (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDVariableDifference method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) (pyudbm.binding.udbm.VariableDifference method) __len__() (pyudbm.binding.ucdd.BDDTraceSet method) __lt__() (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDVariableDifference method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) (pyudbm.binding.udbm.VariableDifference method) __ne__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.ucdd.CDDVariableDifference method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) (pyudbm.binding.udbm.VariableDifference method) __or__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.udbm.Federation method) __rand__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) __repr__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.DBM method) (pyudbm.binding.utap.ModelDocument method) __ror__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) __rsub__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) __rxor__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) __setitem__() (pyudbm.binding.udbm.FloatValuation method) (pyudbm.binding.udbm.IntValuation method) (pyudbm.binding.udbm.Valuation method) __str__() (pyudbm.binding.udbm.DBM method) (pyudbm.binding.udbm.Federation method) __sub__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.udbm.Clock method) (pyudbm.binding.udbm.Federation method) __TITLE__ (in module pyudbm.config.meta) __UCDD_COMMIT__ (in module pyudbm.config.meta) __UCDD_COMMIT_TIME__ (in module pyudbm.config.meta) __UCDD_VERSION__ (in module pyudbm.config.meta) __UDBM_COMMIT__ (in module pyudbm.config.meta) __UDBM_COMMIT_TIME__ (in module pyudbm.config.meta) __UDBM_VERSION__ (in module pyudbm.config.meta) __UUTILS_COMMIT__ (in module pyudbm.config.meta) __UUTILS_COMMIT_TIME__ (in module pyudbm.config.meta) __UUTILS_VERSION__ (in module pyudbm.config.meta) __VERSION__ (in module pyudbm.config.meta) __xor__() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDBool method)

A

after_update_text (pyudbm.binding.utap.ModelDocument property) all_level_info() (pyudbm.binding.ucdd.CDDContext method) apply() (pyudbm.binding.ucdd.CDD method)

apply_reduce() (pyudbm.binding.ucdd.CDD method) apply_reset() (pyudbm.binding.ucdd.CDD method) as_cdd() (pyudbm.binding.ucdd.CDDBool method)

B

base_context (pyudbm.binding.ucdd.CDDContext property) bdd_traces() (pyudbm.binding.ucdd.CDD method) bddnvar() (pyudbm.binding.ucdd.CDD class method) BDDTraceSet (class in pyudbm.binding.ucdd) bddvar() (pyudbm.binding.ucdd.CDD class method) before_update_text (pyudbm.binding.utap.ModelDocument property) bool() (pyudbm.binding.ucdd.CDDContext method) bool_name_for_level() (pyudbm.binding.ucdd.CDDContext method)

bound() (pyudbm.binding.udbm.DBM method) BoundaryEdge3D (class in pyudbm.binding.visual) BoundaryLoop2D (class in pyudbm.binding.visual) BoundarySegment2D (class in pyudbm.binding.visual) Branchpoint (class in pyudbm.binding.utap) build() (pyudbm.binding.utap_builder.ModelBuilder method) build_model() (in module pyudbm.binding.utap_builder) builtin_declarations() (in module pyudbm.binding.utap)

C

capability_summary() (pyudbm.binding.utap.ModelDocument method) CDD (class in pyudbm.binding.ucdd) CDDBool (class in pyudbm.binding.ucdd) CDDClock (class in pyudbm.binding.ucdd) CDDContext (class in pyudbm.binding.ucdd) CDDExtraction (class in pyudbm.binding.ucdd) CDDLevelInfo (class in pyudbm.binding.ucdd) CDDVariableDifference (class in pyudbm.binding.ucdd) chan() (pyudbm.binding.utap_builder.ModelBuilder method) channel_priority_texts (pyudbm.binding.utap.ModelDocument property) check() (pyudbm.binding.udbm.Valuation method) Clock (class in pyudbm.binding.udbm) clock() (pyudbm.binding.ucdd.CDDContext method) (pyudbm.binding.utap_builder.ModelBuilder method)

clock_names (pyudbm.binding.udbm.DBM property) Constraint (class in pyudbm.binding.udbm) contains() (pyudbm.binding.udbm.Federation method) (pyudbm.binding.visual.HalfSpace2D method) (pyudbm.binding.visual.HalfSpace3D method) contains_dbm() (pyudbm.binding.ucdd.CDD method) contains_on_closure() (pyudbm.binding.visual.HalfSpace2D method) (pyudbm.binding.visual.HalfSpace3D method) Context (class in pyudbm.binding.udbm) convex_hull() (pyudbm.binding.udbm.Federation method) copy() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.udbm.Federation method)

D

DBM (class in pyudbm.binding.udbm) declaration() (pyudbm.binding.utap_builder.ModelBuilder method) (pyudbm.binding.utap_builder.TemplateBuilder method) delay() (pyudbm.binding.ucdd.CDD method) delay_invariant() (pyudbm.binding.ucdd.CDD method) Diagnostic (class in pyudbm.binding.utap)

dimension (pyudbm.binding.udbm.DBM property) down() (pyudbm.binding.udbm.Federation method) dump() (pyudbm.binding.utap.ModelDocument method) dump_ta() (pyudbm.binding.utap.ModelDocument method) dump_xta() (pyudbm.binding.utap.ModelDocument method) dumps() (pyudbm.binding.utap.ModelDocument method)

E

Edge (class in pyudbm.binding.utap) edge() (pyudbm.binding.utap_builder.TemplateBuilder method) edgecount() (pyudbm.binding.ucdd.CDD method) EdgeSpec (class in pyudbm.binding.utap_builder) edit_template() (pyudbm.binding.utap_builder.ModelBuilder method) EmptyGeometry (class in pyudbm.binding.visual) end() (pyudbm.binding.utap_builder.TemplateBuilder method) equiv() (pyudbm.binding.ucdd.CDD method) evaluate() (pyudbm.binding.visual.HalfSpace2D method) (pyudbm.binding.visual.HalfSpace3D method)

Expectation (class in pyudbm.binding.utap) Expression (class in pyudbm.binding.utap) extract_bdd() (pyudbm.binding.ucdd.CDD method) extract_bdd_and_dbm() (pyudbm.binding.ucdd.CDD method) extract_dbm() (pyudbm.binding.ucdd.CDD method) extract_dbm_geometry() (in module pyudbm.binding.visual) extract_federation_geometry() (in module pyudbm.binding.visual) extrapolate_max_bounds() (pyudbm.binding.udbm.Federation method)

F

Face2D (class in pyudbm.binding.visual) Face3D (class in pyudbm.binding.visual) FaceGeometry3D (class in pyudbm.binding.visual) false() (pyudbm.binding.ucdd.CDD class method) (pyudbm.binding.ucdd.CDDContext method) feature_summary() (pyudbm.binding.utap.ModelDocument method) FeatureFlags (class in pyudbm.binding.utap) Federation (class in pyudbm.binding.udbm)

FederationGeometry2D (class in pyudbm.binding.visual) FederationGeometry3D (class in pyudbm.binding.visual) FloatValuation (class in pyudbm.binding.udbm) format_matrix() (pyudbm.binding.udbm.DBM method) free_clock() (pyudbm.binding.udbm.Federation method) from_context() (pyudbm.binding.ucdd.CDDContext class method) from_dbm() (pyudbm.binding.ucdd.CDD class method) from_document() (pyudbm.binding.utap_builder.ModelBuilder class method) from_federation() (pyudbm.binding.ucdd.CDD class method)

G

get_full_name() (pyudbm.binding.ucdd.CDDBool method) (pyudbm.binding.ucdd.CDDClock method) (pyudbm.binding.udbm.Clock method)

get_size() (pyudbm.binding.udbm.Federation method) get_zero_federation() (pyudbm.binding.udbm.Context method) global_clock_names (pyudbm.binding.utap.ModelDocument property) global_declarations (pyudbm.binding.utap.ModelDocument property)

H

HalfSpace2D (class in pyudbm.binding.visual) HalfSpace3D (class in pyudbm.binding.visual)

has_bdd_part() (pyudbm.binding.ucdd.CDDExtraction method) has_zero() (pyudbm.binding.udbm.Federation method) hash() (pyudbm.binding.udbm.Federation method)

I

inspect() (pyudbm.binding.utap_builder.ModelBuilder method) integer() (pyudbm.binding.utap_builder.ModelBuilder method) intern() (pyudbm.binding.udbm.Federation method) interval() (pyudbm.binding.ucdd.CDD class method) Interval1D (class in pyudbm.binding.visual) IntValuation (class in pyudbm.binding.udbm) is_active() (pyudbm.binding.visual.HalfSpace2D method) (pyudbm.binding.visual.HalfSpace3D method)

is_bdd() (pyudbm.binding.ucdd.CDD method) is_empty() (pyudbm.binding.udbm.Federation method) is_false() (pyudbm.binding.ucdd.CDD method) is_infinity() (pyudbm.binding.udbm.DBM method) is_point (pyudbm.binding.visual.Interval1D property) is_strict() (pyudbm.binding.udbm.DBM method) is_true() (pyudbm.binding.ucdd.CDD method) is_zero() (pyudbm.binding.udbm.Federation method) ite() (pyudbm.binding.ucdd.CDD method)

L

length (pyudbm.binding.visual.BoundaryEdge3D property) (pyudbm.binding.visual.BoundarySegment2D property) level_info() (pyudbm.binding.ucdd.CDDContext method) list_edges() (pyudbm.binding.utap_builder.ModelBuilder method) list_locations() (pyudbm.binding.utap_builder.ModelBuilder method) list_processes() (pyudbm.binding.utap_builder.ModelBuilder method) list_queries() (pyudbm.binding.utap_builder.ModelBuilder method) list_templates() (pyudbm.binding.utap_builder.ModelBuilder method) load_query() (in module pyudbm.binding.utap) (pyudbm.binding.utap.ModelDocument method)

load_xml() (in module pyudbm.binding.utap) load_xta() (in module pyudbm.binding.utap) loads_query() (in module pyudbm.binding.utap) (pyudbm.binding.utap.ModelDocument method) loads_xml() (in module pyudbm.binding.utap) loads_xta() (in module pyudbm.binding.utap) Location (class in pyudbm.binding.utap) location() (pyudbm.binding.utap_builder.TemplateBuilder method) LocationSpec (class in pyudbm.binding.utap_builder) LOGGER (in module pyudbm.binding.udbm) lower() (pyudbm.binding.ucdd.CDD class method)

M

MAPPED_FIELD_NOTES (in module pyudbm.binding.utap) MAPPED_FIELDS (in module pyudbm.binding.utap) midpoint (pyudbm.binding.visual.BoundaryEdge3D property) (pyudbm.binding.visual.BoundarySegment2D property) ModelBuilder (class in pyudbm.binding.utap_builder) ModelDocument (class in pyudbm.binding.utap) ModelSpec (class in pyudbm.binding.utap_builder) module pyudbm pyudbm.binding pyudbm.binding.ucdd pyudbm.binding.udbm pyudbm.binding.utap pyudbm.binding.utap_builder pyudbm.binding.visual pyudbm.config pyudbm.config.meta

MultiInterval1D (class in pyudbm.binding.visual)

N

nodecount() (pyudbm.binding.ucdd.CDD method)

O

OP_AND (in module pyudbm.binding.ucdd)

OP_XOR (in module pyudbm.binding.ucdd) Option (class in pyudbm.binding.utap)

P

parse_query() (in module pyudbm.binding.utap) (pyudbm.binding.utap.ModelDocument method) ParsedQuery (class in pyudbm.binding.utap) ParsedQueryExpectation (class in pyudbm.binding.utap) past() (pyudbm.binding.ucdd.CDD method) plot() (pyudbm.binding.udbm.DBM method) (pyudbm.binding.udbm.Federation method) plot_dbm() (in module pyudbm.binding.visual) plot_federation() (in module pyudbm.binding.visual) PlotResult (class in pyudbm.binding.visual) Point2D (class in pyudbm.binding.visual) Point3D (class in pyudbm.binding.visual) PointGeometry2D (class in pyudbm.binding.visual) PointGeometry3D (class in pyudbm.binding.visual) PolygonGeometry2D (class in pyudbm.binding.visual) PolyhedronGeometry3D (class in pyudbm.binding.visual) Position (class in pyudbm.binding.utap) predt() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.udbm.Federation method) pretty() (pyudbm.binding.utap.ModelDocument method)

Process (class in pyudbm.binding.utap) process() (pyudbm.binding.utap_builder.ModelBuilder method) pyudbm module pyudbm.binding module pyudbm.binding.ucdd module pyudbm.binding.udbm module pyudbm.binding.utap module pyudbm.binding.utap_builder module pyudbm.binding.visual module pyudbm.config module pyudbm.config.meta module

Q

Query (class in pyudbm.binding.utap)

query() (pyudbm.binding.utap_builder.ModelBuilder method) QuerySpec (class in pyudbm.binding.utap_builder)

R

raw() (pyudbm.binding.udbm.DBM method) reduce() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.udbm.Federation method) reduce2() (pyudbm.binding.ucdd.CDD method) remove_edge() (pyudbm.binding.utap_builder.TemplateBuilder method) remove_location() (pyudbm.binding.utap_builder.TemplateBuilder method)

remove_negative() (pyudbm.binding.ucdd.CDD method) remove_process() (pyudbm.binding.utap_builder.ModelBuilder method) remove_query() (pyudbm.binding.utap_builder.ModelBuilder method) remove_template() (pyudbm.binding.utap_builder.ModelBuilder method) reset_value() (pyudbm.binding.udbm.Federation method) Resource (class in pyudbm.binding.utap)

S

SegmentGeometry2D (class in pyudbm.binding.visual) SegmentGeometry3D (class in pyudbm.binding.visual) set_declarations() (pyudbm.binding.utap_builder.ModelBuilder method) (pyudbm.binding.utap_builder.TemplateBuilder method) set_init() (pyudbm.binding.udbm.Federation method)

set_name() (pyudbm.binding.udbm.Context method) set_zero() (pyudbm.binding.udbm.Federation method) shape (pyudbm.binding.udbm.DBM property) signed_area (pyudbm.binding.visual.BoundaryLoop2D property) Symbol (class in pyudbm.binding.utap) system() (pyudbm.binding.utap_builder.ModelBuilder method)

T

Template (class in pyudbm.binding.utap) template() (pyudbm.binding.utap_builder.ModelBuilder method) template_clock_names (pyudbm.binding.utap.ModelDocument property) TemplateBuilder (class in pyudbm.binding.utap_builder) TemplateSpec (class in pyudbm.binding.utap_builder) textual_builtin_preamble() (in module pyudbm.binding.utap) to_cdd() (pyudbm.binding.udbm.DBM method) (pyudbm.binding.udbm.Federation method) to_cdd_context() (pyudbm.binding.udbm.Context method) to_dbm_list() (pyudbm.binding.udbm.Federation method) to_dicts() (pyudbm.binding.ucdd.BDDTraceSet method) to_federation() (pyudbm.binding.ucdd.CDD method) (pyudbm.binding.ucdd.CDDExtraction method) to_matrix() (pyudbm.binding.udbm.DBM method)

to_min_dbm() (pyudbm.binding.udbm.DBM method) to_rows() (pyudbm.binding.ucdd.BDDTraceSet method) to_spec() (pyudbm.binding.utap_builder.ModelBuilder method) to_string() (pyudbm.binding.udbm.DBM method) to_ta() (pyudbm.binding.utap.ModelDocument method) to_xml() (pyudbm.binding.utap.ModelDocument method) to_xta() (pyudbm.binding.utap.ModelDocument method) transition() (pyudbm.binding.ucdd.CDD method) transition_back() (pyudbm.binding.ucdd.CDD method) transition_back_past() (pyudbm.binding.ucdd.CDD method) true() (pyudbm.binding.ucdd.CDD class method) (pyudbm.binding.ucdd.CDDContext method) TYPE_BDD (in module pyudbm.binding.ucdd) TYPE_CDD (in module pyudbm.binding.ucdd) TypeInfo (class in pyudbm.binding.utap)

U

UNMAPPED_FIELD_REASONS (in module pyudbm.binding.utap) UNMAPPED_FIELDS (in module pyudbm.binding.utap) up() (pyudbm.binding.udbm.Federation method) update_edge() (pyudbm.binding.utap_builder.TemplateBuilder method) update_location() (pyudbm.binding.utap_builder.TemplateBuilder method)

update_process() (pyudbm.binding.utap_builder.ModelBuilder method) update_query() (pyudbm.binding.utap_builder.ModelBuilder method) update_template() (pyudbm.binding.utap_builder.ModelBuilder method) update_value() (pyudbm.binding.udbm.Federation method) upper() (pyudbm.binding.ucdd.CDD class method)

V

Valuation (class in pyudbm.binding.udbm)

VariableDifference (class in pyudbm.binding.udbm) vertices (pyudbm.binding.visual.BoundaryLoop2D property)

W

write_xml() (pyudbm.binding.utap.ModelDocument method)