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
11
namespace
dlinear
{
12
14
enum class
PiecewiseConstraintState
{
15
NOT_FIXED
,
16
INACTIVE
,
17
ACTIVE
,
18
};
19
20
std::ostream& operator<<(std::ostream& os,
const
PiecewiseConstraintState
& status);
21
22
}
// namespace dlinear
dlinear
Global namespace for the dlinear library.
dlinear::PiecewiseConstraintState
PiecewiseConstraintState
State a piecewise constraint can be in.
Definition
PiecewiseConstraintState.h:14
dlinear::PiecewiseConstraintState::ACTIVE
@ ACTIVE
The constraint is active.
dlinear::PiecewiseConstraintState::INACTIVE
@ INACTIVE
The constraint is inactive.
dlinear::PiecewiseConstraintState::NOT_FIXED
@ NOT_FIXED
The constraint is not fixed yet.
dlinear
solver
PiecewiseConstraintState.h
Generated by
1.11.0