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

Package arrow.meta.plugins.analysis.phases.analysis.solver.collect.model

Types

DeclarationConstraints
Link copied to clipboard
data class DeclarationConstraints(descriptor: DeclarationDescriptor, pre: List<NamedConstraint>, post: List<NamedConstraint>, doNotLookAtArgumentsWhen: List<NamedConstraint>)
Content copied to clipboard
NamedConstraint
Link copied to clipboard
data class NamedConstraint(msg: String, formula: BooleanFormula)
Content copied to clipboard