Class | Description |
---|---|
PropLex |
Enforce a lexicographic ordering on two vectors of integer
variables x <_lex y with x =
|
PropLexChain |
Solver constraint of the LexChain constraint.
|
PropLexInt |
Enforce a lexicographic ordering on one vector of integer
variables x <_lex y with x =
|
Copyright © 2018. All rights reserved.