|
Gecode 6.4.0
|
#include < -- improving gecode/implementation/gecode/gecode/optimize/model.hpp>
Public Attributes | |
| std::vector< Variable > | variables |
| std::uint64_t | state_count = 1 |
| std::uint64_t | initial_state = 0 |
| std::vector< RegularTransition > | transitions |
| std::vector< std::uint64_t > | final_states |
| std::vector<Variable> Gecode::Optimize::RegularData::variables |
| std::uint64_t Gecode::Optimize::RegularData::state_count = 1 |
| std::uint64_t Gecode::Optimize::RegularData::initial_state = 0 |
| std::vector<RegularTransition> Gecode::Optimize::RegularData::transitions |
| std::vector<std::uint64_t> Gecode::Optimize::RegularData::final_states |