arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check.model/CurrentBranch

CurrentBranch

class CurrentBranch(branches: List<BooleanFormula>)
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Functions

Link copied to clipboard
fun add(constraints: List<BooleanFormula>): CurrentBranch
Content copied to clipboard
fun add(constraint: BooleanFormula): CurrentBranch
Content copied to clipboard
Link copied to clipboard
fun get(): Branch
Content copied to clipboard