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

#include <dve2fasttgba/dve2.hh>

Inheritance diagram for spot::dve2product_instance:
Inheritance graph
Collaboration diagram for spot::dve2product_instance:
Collaboration graph

Public Member Functions

 dve2product_instance (const spot::dve2product_instance &)=delete
 
 dve2product_instance (const spot::tgba *tgba, std::string filename)
 
const fasttgbaget_automaton () const
 return the automaton. Warning ! You don't have to delete the More...
 
const fasttgbaget_formula_automaton () const
 
const fasttgbaget_ba_automaton () const
 return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the More...
 

Detailed Description

Wrapper around the product automaton of a system and a fasttgba

Member Function Documentation

const fasttgba* spot::dve2product_instance::get_automaton ( ) const
inlinevirtual

return the automaton. Warning ! You don't have to delete the

Implements spot::instance_automaton.

const fasttgba* spot::dve2product_instance::get_ba_automaton ( ) const
inlinevirtual

return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the

Implements spot::instance_automaton.


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:03 for spot by doxygen 1.8.5