Package tulip :: Package abstract :: Module prop2partition :: Class PPP
[frames] | no frames]

Class PPP


Alias to PropPreservingPartition.

See that for details.

Nested Classes

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

Instance Methods
 
__init__(self, **args)
Partition over domain.

Inherited from PropPreservingPartition: __str__, is_symbolic, plot, plot_props, preserves_predicates, reg2props

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, **args)
(Constructor)

 

Partition over domain.

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

Overrides: object.__init__
(inherited documentation)