spot::remove_ap Class Reference

Helper for stripping or fixing atomic propositions in automata. More...

#include <spot/twaalgos/remprop.hh>

Collaboration diagram for spot::remove_ap:

Public Member Functions
void	add_ap (const char *ap_csv)
	Register atomic propositions from a comma-separated list. More...
void	add_ap (formula ap)
	Register a single atomic proposition given as a formula. More...
bool	empty () const
	Whether no atomic propositions are registered. More...
twa_graph_ptr	strip (const_twa_graph_ptr aut) const
	Strip registered atomic propositions from aut. More...

Detailed Description

Helper for stripping or fixing atomic propositions in automata.

Member Function Documentation

add_ap() [1/2]

void spot::remove_ap::add_ap

(

const char *

ap_csv

)

Register atomic propositions from a comma-separated list.

add_ap() [2/2]

void spot::remove_ap::add_ap

(

formula

ap

)

Register a single atomic proposition given as a formula.

empty()

bool spot::remove_ap::empty ( ) const

inline

Whether no atomic propositions are registered.

strip()

twa_graph_ptr spot::remove_ap::strip

(

const_twa_graph_ptr

aut

)

const

Strip registered atomic propositions from aut.

---

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

• spot/twaalgos/remprop.hh