|
| DEFINE_INT_TYPE (IntervalVariable, int32) |
|
const IntervalVariable | kNoIntervalVariable (-1) |
|
std::function< IntegerVariable(const Model &)> | StartVar (IntervalVariable v) |
|
std::function< IntegerVariable(const Model &)> | EndVar (IntervalVariable v) |
|
std::function< IntegerVariable(const Model &)> | SizeVar (IntervalVariable v) |
|
std::function< int64(const Model &)> | MinSize (IntervalVariable v) |
|
std::function< int64(const Model &)> | MaxSize (IntervalVariable v) |
|
std::function< bool(const Model &)> | IsOptional (IntervalVariable v) |
|
std::function< Literal(const Model &)> | IsPresentLiteral (IntervalVariable v) |
|
std::function< IntervalVariable(Model *)> | NewInterval (int64 min_start, int64 max_end, int64 size) |
|
std::function< IntervalVariable(Model *)> | NewInterval (IntegerVariable start, IntegerVariable end, IntegerVariable size) |
|
std::function< IntervalVariable(Model *)> | NewIntervalWithVariableSize (int64 min_start, int64 max_end, int64 min_size, int64 max_size) |
|
std::function< IntervalVariable(Model *)> | NewOptionalInterval (int64 min_start, int64 max_end, int64 size, Literal is_present) |
|
std::function< IntervalVariable(Model *)> | NewOptionalIntervalWithOptionalVariables (int64 min_start, int64 max_end, int64 size, Literal is_present) |
|
std::function< IntervalVariable(Model *)> | NewOptionalInterval (IntegerVariable start, IntegerVariable end, IntegerVariable size, Literal is_present) |
|
std::function< IntervalVariable(Model *)> | NewOptionalIntervalWithVariableSize (int64 min_start, int64 max_end, int64 min_size, int64 max_size, Literal is_present) |
|
std::function< void(Model *)> | IntervalWithAlternatives (IntervalVariable master, const std::vector< IntervalVariable > &members) |
|