| name | method, % | block, % |
|---|
| $SWITCH_TABLE$org$opt4j$sat$Constraint$Operator (): int [] | 0% (0/1) | 0% (0/34) |
| Constraint (): void | 0% (0/1) | 0% (0/5) |
| Constraint (Constraint$Operator, int): void | 0% (0/1) | 0% (0/20) |
| Constraint (String, int): void | 0% (0/1) | 0% (0/6) |
| add (Literal): void | 0% (0/1) | 0% (0/5) |
| add (int, Literal): void | 0% (0/1) | 0% (0/11) |
| contains (Literal): boolean | 0% (0/1) | 0% (0/20) |
| copy (): Constraint | 0% (0/1) | 0% (0/26) |
| getCoefficients (): Iterable | 0% (0/1) | 0% (0/5) |
| getCount (Model): int | 0% (0/1) | 0% (0/38) |
| getLiterals (): Iterable | 0% (0/1) | 0% (0/5) |
| getOperator (): Constraint$Operator | 0% (0/1) | 0% (0/3) |
| getRhs (): int | 0% (0/1) | 0% (0/3) |
| getViolationCount (Model): int | 0% (0/1) | 0% (0/38) |
| isSatisfied (Model): boolean | 0% (0/1) | 0% (0/11) |
| setOperator (Constraint$Operator): void | 0% (0/1) | 0% (0/4) |
| setRhs (int): void | 0% (0/1) | 0% (0/4) |
| toString (): String | 0% (0/1) | 0% (0/62) |