AutModelException.hh File Reference

#include <stdexcept>
#include <iostream>
#include <Utils/Assertion.hh>

Go to the source code of this file.

Classes
class	AutModel::ModelInvalid
class	AutModel::TransitionSystemInvalid
class	AutModel::EventInvalid
class	AutModel::SynchronisationInvalid
class	AutModel::EventFactoryInvalid
class	AutModel::InteractiveDiagnoserInvalid
class	AutModel::NonDetInteractiveDiagnoserInvalid
class	AutModel::DiagnoserInvalid
class	AutModel::SpecialisedActiveDiagnoserInvalid
class	AutModel::DiagnosisInvalid
class	AutModel::BeliefStateInvalid

Namespaces
	AutModel