spot::exclusive_ap Class Reference

A set of atomic proposition groups that are mutually exclusive within each group. More...

#include <spot/tl/exclusive.hh>

Collaboration diagram for spot::exclusive_ap:

Public Member Functions
void	add_group (std::vector< formula > ap)
	Add a group of mutually exclusive APs.
void	add_group (const char *ap_csv)
	Add a group of mutually exclusive APs.
bool	empty () const
	Whether no AP groups are registered.
formula	constrain (formula f) const
	Constrain a formula using the AP groups.
twa_graph_ptr	constrain (const_twa_graph_ptr aut, bool simplify_guards=false) const
	Constrain an automaton using the AP groups.

Detailed Description

A set of atomic proposition groups that are mutually exclusive within each group.

Member Function Documentation

add_group() [1/2]

void spot::exclusive_ap::add_group

(

const char *

ap_csv

)

Add a group of mutually exclusive APs.

add_group() [2/2]

void spot::exclusive_ap::add_group

(

std::vector< formula >

ap

)

Add a group of mutually exclusive APs.

constrain() [1/2]

twa_graph_ptr spot::exclusive_ap::constrain	(	const_twa_graph_ptr	aut,
		bool	simplify_guards = false
	)		const

Constrain an automaton using the AP groups.

constrain() [2/2]

formula spot::exclusive_ap::constrain

(

formula

f

)

const

Constrain a formula using the AP groups.

empty()

bool spot::exclusive_ap::empty ( ) const

inline

Whether no AP groups are registered.

---

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

• spot/tl/exclusive.hh