dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
PiecewiseConstraintState.h
1
7#pragma once
8
9#include <iosfwd>
10
11namespace dlinear {
12
15 NOT_FIXED,
16 INACTIVE,
17 ACTIVE,
18};
19
20std::ostream& operator<<(std::ostream& os, const PiecewiseConstraintState& status);
21
22} // namespace dlinear
Global namespace for the dlinear library.
PiecewiseConstraintState
State a piecewise constraint can be in.
@ ACTIVE
The constraint is active.
@ INACTIVE
The constraint is inactive.
@ NOT_FIXED
The constraint is not fixed yet.