arrow-analysis-common
2.0.2-alpha.7
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.check.model
/
CheckData
/
addBranch
add
Branch
fun
addBranch
(
constraint
:
BooleanFormula
)
:
CheckData
Content copied to clipboard
fun
addBranch
(
constraint
:
List
<
BooleanFormula
>
)
:
CheckData
Content copied to clipboard