libFAUDES 2.13a

o*libFAUDES C++ API

o+Modules

o+Class List

|o*faudes::AttributeCFlags

|o*faudes::AttributeColoredState

|o*faudes::AttributeFlags

|o*faudes::AttributeTimedGlobal

|o*faudes::AttributeTimedState

|o*faudes::AttributeTimedTrans

|o*faudes::AttributeVoid

|o*faudes::Bisimulation

|o*faudes::Boolean

|o*faudes::ClockSet

|o*faudes::ColorSet

|o*faudes::DeviceExecutor

|o*faudes::DiscreteDensityFunction

|o*faudes::DiscreteDensityFunction::Entry

|o*faudes::Documentation

|o*faudes::ElemConstraint

|o*faudes::EventRelabelMap

|o*faudes::Exception

|o*faudes::Executor

|o*faudes::Executor::TimedState

|o*faudes::Function

|o*faudes::FunctionDefinition

|o*faudes::FunctionRegistry

|o*faudes::GeneratorPool

|o*faudes::HioEventFlags

|o*faudes::HioModule

|o*faudes::HioStateFlags

|o*faudes::IndexSet

|o*faudes::Integer

|o*faudes::LoggingExecutor

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::NameSet

|o*faudes::ParallelExecutor

|o*faudes::ParallelExecutor::ParallelTimedState

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::ProposingExecutor

|o*faudes::SampledDensityFunction

|o*faudes::SampledDensityFunction::CountEntry

|o*faudes::Signature

|o*faudes::SimConditionAttribute

|o*faudes::SimConditionSet

|o*faudes::SimEventAttribute

|o*faudes::SimEventConditionAttribute

|o*faudes::SimPriorityEventAttribute

|o*faudes::SimStateConditionAttribute

|o*faudes::SimStochasticEventAttribute

|o*faudes::String

|o*faudes::SymbolSet

|o*faudes::SymbolTable

|o*faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TaIndexSet< Attr >

|o*faudes::TaNameSet< Attr >

|o*faudes::TaTransSet< Attr >

|o*faudes::TBaseSet< T, Cmp >

|o*faudes::TBaseSet< T, Cmp >::Iterator

|o*faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::tGeneratorPool

|o*faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TimeConstraint

|o*faudes::TimedEvent

|o*faudes::TimeInterval

|o*faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TNestedFunction< FTYPE, CFNCT >

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

|o*faudes::tpTime

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::TransSort::EvX1X2

|o*faudes::TransSort::EvX2X1

|o*faudes::TransSort::X1EvX2

|o*faudes::TransSort::X1X2Ev

|o*faudes::TransSort::X2EvX1

|o*faudes::TransSort::X2X1Ev

|o*faudes::TSimpleFunction1< FTYPE0, CFNCT >

|o*faudes::TSimpleFunction2< FTYPE0, FTYPE1, CFNCT >

|o*faudes::TSimpleFunction3< FTYPE0, FTYPE1, FTYPE2, CFNCT >

|o*faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TTransSet< Cmp >

|o*faudes::Type

|o*faudes::TypeDefinition

|o*faudes::TypeRegistry

|\*faudes::vGenerator

o+Class Hierarchy

|o*faudes::Bisimulation

|o+faudes::DiscreteDensityFunction

|o*faudes::DiscreteDensityFunction::Entry

|o*faudes::ElemConstraint

|o*faudes::Exception

|o*faudes::Executor::TimedState

|o+faudes::GeneratorPool

|o*faudes::HioModule

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::SampledDensityFunction::CountEntry

|o*faudes::SimEventConditionAttribute

|o*faudes::SimPriorityEventAttribute

|o*faudes::SimStateConditionAttribute

|o*faudes::SimStochasticEventAttribute

|o*faudes::TBaseSet< T, Cmp >::Iterator

|o*faudes::TimeConstraint

|o*faudes::TimedEvent

|o*faudes::TimeInterval

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

|o*faudes::tpTime

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::TransSort::EvX1X2

|o*faudes::TransSort::EvX2X1

|o*faudes::TransSort::X1EvX2

|o*faudes::TransSort::X1X2Ev

|o*faudes::TransSort::X2EvX1

|o*faudes::TransSort::X2X1Ev

|\+faudes::Type

| o+faudes::AttributeVoid

| o*faudes::Boolean

| o+faudes::Documentation

| o*faudes::EventRelabelMap

| o+faudes::Function

| o*faudes::FunctionRegistry

| o*faudes::Integer

| o+faudes::ParallelExecutor

| o*faudes::ParallelExecutor::ParallelTimedState

| o*faudes::Signature

| o*faudes::String

| o*faudes::SymbolTable

| o+faudes::TBaseSet< T, Cmp >

| o*faudes::TypeRegistry

| o+faudes::vGenerator

| o*faudes::TBaseSet< faudes::Transition, Cmp >

| o*faudes::TBaseSet< long unsigned int >

| \+faudes::TBaseSet< std::string >

o*Class Members

o+Namespace List

o*Namespace Members

o+File List

|o*1_generator.cpp

|o*2_sets.cpp

|o*3_regular.cpp

|o*4_cgenerator.cpp

|o*5_attributes.cpp

|o*6_algorithm.cpp

|o*7_interface.cpp

|o*agenerator.cpp

|o*agenerator.h

|o*attributes.cpp

|o*attributes.h

|o*baseset.cpp

|o*baseset.h

|o*cgenerator.cpp

|o*cgenerator.h

|o*cgenfunct.cpp

|o*cgenfunct.h

|o*corefaudes.h

|o*definitions.h

|o*exception.cpp

|o*exception.h

|o*exefaudes.cpp

|o*gen2dot.cpp

|o*gen2dot.h

|o*helper.cpp

|o*helper.h

|o*hio_1_hiogenerators.cpp

|o*hio_2_hiofunctions.cpp

|o*hio_attributes.cpp

|o*hio_attributes.h

|o*hio_constraint.cpp

|o*hio_constraint.h

|o*hio_controller.cpp

|o*hio_controller.h

|o*hio_environment.cpp

|o*hio_environment.h

|o*hio_functions.cpp

|o*hio_functions.h

|o*hio_helper.cpp

|o*hio_helper.h

|o*hio_include.h

|o*hio_module.cpp

|o*hio_module.h

|o*hio_plant.cpp

|o*hio_plant.h

|o*indexset.cpp

|o*indexset.h

|o*lbp_include.h

|o*libfaudes.h

|o*libluafaudes.h

|o*localgen.cpp

|o*localgen.h

|o*luafaudes.cpp

|o*mtc2dot.cpp

|o*mtc_1_generators.cpp

|o*mtc_2_functions.cpp

|o*mtc_3_observer.cpp

|o*mtc_attributes.cpp

|o*mtc_attributes.h

|o*mtc_colorset.cpp

|o*mtc_colorset.h

|o*mtc_generator.cpp

|o*mtc_generator.h

|o*mtc_include.h

|o*mtc_observercomputation.cpp

|o*mtc_observercomputation.h

|o*mtc_obserververification.cpp

|o*mtc_obserververification.h

|o*mtc_parallel.cpp

|o*mtc_parallel.h

|o*mtc_project.cpp

|o*mtc_project.h

|o*mtc_redundantcolors.cpp

|o*mtc_redundantcolors.h

|o*mtc_statemin.cpp

|o*mtc_statemin.h

|o*mtc_supcon.cpp

|o*mtc_supcon.h

|o*nameset.cpp

|o*nameset.h

|o*op_bisimulation.cpp

|o*op_bisimulation.h

|o*op_debug.h

|o*op_ex_bisim.cpp

|o*op_ex_mc.cpp

|o*op_ex_synthesis.cpp

|o*op_ex_verification.cpp

|o*op_include.h

|o*op_mc.cpp

|o*op_mc.h

|o*op_observercomputation.cpp

|o*op_observercomputation.h

|o*op_obserververification.cpp

|o*op_obserververification.h

|o*op_partition.cpp

|o*op_partition.h

|o*parallel.cpp

|o*parallel.h

|o*pex_altaccess.cpp

|o*pex_altaccess.h

|o*pex_include.h

|o*pex_tutorial.cpp

|o*project.cpp

|o*project.h

|o*regular.cpp

|o*regular.h

|o*rti2code.cpp

|o*rti2html.cpp

|o*rtifncts.cpp

|o*rtifncts.h

|o*rtiregistry.cpp

|o*rtiregistry.h

|o*rtitypes.cpp

|o*rtitypes.h

|o*rtiwrapper.cpp

|o*rtiwrapper.h

|o*simfaudes.cpp

|o*sp_densityfnct.cpp

|o*sp_densityfnct.h

|o*sp_dplpexecutor.cpp

|o*sp_dplpexecutor.h

|o*sp_executor.cpp

|o*sp_executor.h

|o*sp_include.h

|o*sp_lpexecutor.cpp

|o*sp_lpexecutor.h

|o*sp_pexecutor.cpp

|o*sp_pexecutor.h

|o*sp_plpexecutor.cpp

|o*sp_plpexecutor.h

|o*sp_random.cpp

|o*sp_random.h

|o*sp_simconditionset.cpp

|o*sp_simconditionset.h

|o*sp_simeventset.cpp

|o*sp_simeventset.h

|o*statemin.cpp

|o*statemin.h

|o*supcon.cpp

|o*supcon.h

|o*symbolset.cpp

|o*symbolset.h

|o*symboltable.cpp

|o*symboltable.h

|o*token.cpp

|o*token.h

|o*tokenreader.cpp

|o*tokenreader.h

|o*tokenwriter.cpp

|o*tokenwriter.h

|o*tp_1_tgenerator.cpp

|o*tp_2_constraints.cpp

|o*tp_3_parallel.cpp

|o*tp_attributes.cpp

|o*tp_attributes.h

|o*tp_include.h

|o*tp_tgenerator.cpp

|o*tp_tgenerator.h

|o*tp_timeconstraint.cpp

|o*tp_timeconstraint.h

|o*tp_timeinterval.cpp

|o*tp_timeinterval.h

|o*tp_tparallel.cpp

|o*tp_tparallel.h

|o*transset.cpp

|o*transset.h

|o*vgenerator.cpp

|o*vgenerator.h

|\*winextra.h

\*File Members