Home       Trees       Indices       Help   
TuLiP
Package tulip :: Package abstract :: Module prop2partition :: Class PropPreservingPartition
[frames] | no frames]

Class PropPreservingPartition

Partition class with following fields:

See Also

prop2part

Nested Classes

Inherited from networkx.classes.graph.Graph: adjlist_dict_factory, edge_attr_dict_factory, node_dict_factory

Instance Methods
 
__init__(self, domain=None, regions=[], adj=None, prop_regions=None, check=True)
Partition over domain.
 
reg2props(self, region_index)
 
is_symbolic(self)
Check that the set of preserved predicates are bijectively mapped to the symbols.
 
preserves_predicates(self)
Return True if each Region <= Predicates for the predicates in prop_regions.values, where prop_regions is a bijection to "continuous" propositions of the specification's alphabet.
 
__str__(self)
Get informal string representation.
 
plot(self, trans=None, ppp2trans=None, only_adjacent=False, ax=None, plot_numbers=True, color_seed=None)
For details see polytope.plot.plot_partition.
 
plot_props(self, ax=None, text_color='yellow')
Plot labeled regions of continuous propositions.

Inherited from polytope.prop2partition.MetricPartition: compute_adj

Inherited from polytope.prop2partition.Partition: __getitem__, __iter__, __len__, are_disjoint, is_cover, is_partition, preserves, refines

Inherited from networkx.classes.graph.Graph: __contains__, add_cycle, add_edge, add_edges_from, add_node, add_nodes_from, add_path, add_star, add_weighted_edges_from, adjacency_iter, adjacency_list, clear, copy, degree, degree_iter, edges, edges_iter, get_edge_data, has_edge, has_node, is_directed, is_multigraph, nbunch_iter, neighbors, neighbors_iter, nodes, nodes_iter, nodes_with_selfloops, number_of_edges, number_of_nodes, number_of_selfloops, order, remove_edge, remove_edges_from, remove_node, remove_nodes_from, selfloop_edges, size, subgraph, to_directed, to_undirected

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __sizeof__, __subclasshook__

Properties

Inherited from networkx.classes.graph.Graph: name

Inherited from object: __class__

Method Details

__init__(self, domain=None, regions=[], adj=None, prop_regions=None, check=True)
(Constructor)

 

Partition over domain.

domain is used to avoid conflicts with the python builtin set function.

Overrides: object.__init__
(inherited documentation)

is_symbolic(self)

 

Check that the set of preserved predicates are bijectively mapped to the symbols.

Symbols = Atomic Propositions

preserves_predicates(self)

 

Return True if each Region <= Predicates for the predicates in prop_regions.values, where prop_regions is a bijection to "continuous" propositions of the specification's alphabet.

Note

  1. prop_regions in practice need not be injective. It doesnt hurt - though creates unnecessary redundancy.
  2. The specification alphabet is fixed an user-defined. It should be distinguished from the auxiliary alphabet generated automatically during abstraction, which defines another partition with its own bijection to TS.

__str__(self)
(Informal representation operator)

 

Get informal string representation.

Overrides: object.__str__

   Home       Trees       Indices       Help   
TuLiP
Generated by Epydoc 3.0.1 on Sat Nov 19 00:11:17 2016 http://epydoc.sourceforge.net