mcrl2::pbes_system::lazy_union Struct Reference

#include <pbessolve_vertex_set.h>

Public Member Functions
	lazy_union (const vertex_set &A_, const vertex_set &B_)
bool	contains (structure_graph::index_type u) const

Public Attributes
const vertex_set &	A
const vertex_set &	B

Detailed Description

Definition at line 315 of file pbessolve_vertex_set.h.

Constructor & Destructor Documentation

lazy_union()

mcrl2::pbes_system::lazy_union::lazy_union ( const vertex_set &  A_, const vertex_set &  B_  )

inline

Definition at line 320 of file pbessolve_vertex_set.h.

Member Function Documentation

contains()

bool mcrl2::pbes_system::lazy_union::contains ( structure_graph::index_type  u ) const

inline

Definition at line 324 of file pbessolve_vertex_set.h.

Member Data Documentation

A

const vertex_set& mcrl2::pbes_system::lazy_union::A

Definition at line 317 of file pbessolve_vertex_set.h.

B

const vertex_set& mcrl2::pbes_system::lazy_union::B

Definition at line 318 of file pbessolve_vertex_set.h.

---

The documentation for this struct was generated from the following file:

• pbes/include/mcrl2/pbes/pbessolve_vertex_set.h