arrow-analysis-common
2.0-RC
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.collect.model
/
NamedConstraint
Named
Constraint
data
class
NamedConstraint
(
msg
:
String
,
formula
:
BooleanFormula
)
Content copied to clipboard
Properties
Properties
formula
Link copied to clipboard
val
formula
:
BooleanFormula
Content copied to clipboard
msg
Link copied to clipboard
val
msg
:
String
Content copied to clipboard