arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.collect.model/NamedConstraint

NamedConstraint

data class NamedConstraint(val msg: String, val formula: BooleanFormula)
Content copied to clipboard

Constructors

Link copied to clipboard
fun NamedConstraint(msg: String, formula: BooleanFormula)
Content copied to clipboard

Properties

Link copied to clipboard
val formula: BooleanFormula
Content copied to clipboard
Link copied to clipboard
val msg: String
Content copied to clipboard