#include <gecode/flatzinc.hh>
Public Attributes | |
| bool | mark_complete = false |
| Marker set to true if solve process can be marked as complete. | |
| std::vector< std::pair< int, int > > | uniform_range_int |
| Inclusive ranges to assign random values. | |
| std::vector< std::pair< FloatVal, FloatVal > > | uniform_range_float |
| std::vector< bool > | last_val_bool |
| Last assigned values for different types of decisions. | |
| std::vector< int > | last_val_int |
| std::vector< IntSet > | last_val_set |
| std::vector< FloatVal > | last_val_float |
| int | on_restart_iv_sol = 0 |
| Number of sol calls for which variables are stored in on_restart_iv. In the array you first find this number of variable for which the solution is read, then you find the same number of variables which value is set. | |
| int | on_restart_bv_sol = 0 |
| int | on_restart_sv_sol = 0 |
| int | on_restart_fv_sol = 0 |
| bool | on_restart_status = false |
| Whether the last on_restart_iv should be set to the restart status. | |
Additional Inherited Members | |
| Public Member Functions inherited from Gecode::SharedHandle::Object | |
| Object (void) | |
| Initialize. | |
| virtual | ~Object (void) |
| Delete shared object. | |
| Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. | |
Definition at line 492 of file flatzinc.hh.
| bool Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::mark_complete = false |
Marker set to true if solve process can be marked as complete.
Definition at line 495 of file flatzinc.hh.
| std::vector<std::pair<int, int> > Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::uniform_range_int |
Inclusive ranges to assign random values.
Definition at line 497 of file flatzinc.hh.
| std::vector<std::pair<FloatVal, FloatVal> > Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::uniform_range_float |
Definition at line 499 of file flatzinc.hh.
| std::vector<bool> Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::last_val_bool |
Last assigned values for different types of decisions.
Definition at line 502 of file flatzinc.hh.
| std::vector<int> Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::last_val_int |
Definition at line 503 of file flatzinc.hh.
| std::vector<IntSet> Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::last_val_set |
Definition at line 505 of file flatzinc.hh.
| std::vector<FloatVal> Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::last_val_float |
Definition at line 508 of file flatzinc.hh.
| int Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::on_restart_iv_sol = 0 |
Number of sol calls for which variables are stored in on_restart_iv. In the array you first find this number of variable for which the solution is read, then you find the same number of variables which value is set.
Definition at line 514 of file flatzinc.hh.
| int Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::on_restart_bv_sol = 0 |
Definition at line 515 of file flatzinc.hh.
| int Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::on_restart_sv_sol = 0 |
Definition at line 516 of file flatzinc.hh.
| int Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::on_restart_fv_sol = 0 |
Definition at line 517 of file flatzinc.hh.
| bool Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartData::on_restart_status = false |
Whether the last on_restart_iv should be set to the restart status.
Definition at line 519 of file flatzinc.hh.