spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | List of all members
spot::instanciator Class Referenceabstract

#include <fasttgbaalgos/ec/ec.hh>

Inheritance diagram for spot::instanciator:
Inheritance graph
Collaboration diagram for spot::instanciator:
Collaboration graph

Public Member Functions

virtual const instance_automatonnew_instance ()=0
 return a new instance of the automaton More...
 

Detailed Description

A wrapper around the automaton to check is needed for some emptiness check that needs to work on multiple distinc instance of the automaton

In this case, the emptiness check just have to know a specific instanciator to perform the emptiness check

Member Function Documentation

virtual const instance_automaton* spot::instanciator::new_instance ( )
pure virtual

return a new instance of the automaton

Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5