NWA-tests.cpp File Reference

Functions
NwaRefPtr	buildNwa_Alur_JACM_fig6 (std::string const &name_prefix)
NwaRefPtr	buildNwa_even_zeros (std::string const &name_prefix="", std::string const &stuck="[stuck]")
NwaRefPtr	build_odd_num_groups (std::string const &name_prefix="", std::string const &stuck="[stuck]")
wali::nwa::ProcedureMap	build_odd_num_groups_separate (std::string const &stuck="[stuck]")
NwaRefPtr	build_internal_nwa (std::string const &stuck="[stuck]")
NwaRefPtr	build_nondet_internal_nwa (std::string const &stuck="[stuck]")
int	main ()

---

Function Documentation

NwaRefPtr buildNwa_Alur_JACM_fig6

(

std::string const &

name_prefix

)

NwaRefPtr buildNwa_even_zeros	(	std::string const &	name_prefix = "",
		std::string const &	stuck = "[stuck]"
	)

References wali::getKey().

Referenced by main().

NwaRefPtr build_odd_num_groups	(	std::string const &	name_prefix = "",
		std::string const &	stuck = "[stuck]"
	)

References wali::getKey().

Referenced by main().

wali::nwa::ProcedureMap build_odd_num_groups_separate

(

std::string const &

stuck = "[stuck]"

)

References wali::getKey(), and main().

Referenced by main().

NwaRefPtr build_internal_nwa

(

std::string const &

stuck = "[stuck]"

)

References wali::getKey().

Referenced by main().

NwaRefPtr build_nondet_internal_nwa

(

std::string const &

stuck = "[stuck]"

)

References wali::getKey().

Referenced by main().

int main

(

)

References opennwa::assemble_nwa(), build_internal_nwa(), build_nondet_internal_nwa(), build_odd_num_groups(), build_odd_num_groups_separate(), buildNwa_even_zeros(), opennwa::construct::complement(), opennwa::construct::concat(), opennwa::construct::determinize(), opennwa::fst_to_nwa(), wali::getKey(), opennwa::internal_only_nwa_to_fst(), opennwa::construct::intersect(), opennwa::minimize_internal_nwa(), opennwa::construct::reverse(), and opennwa::construct::star().