compiler/io.github.aplcornell.viaduct.selection/ProtocolAssignment

ProtocolAssignment

data class ProtocolAssignment(val assignment: Map<FunctionVariable, Protocol>, val propModel: Map<String, Boolean>, val problem: SelectionProblem)

Constructors

ProtocolAssignment

fun ProtocolAssignment(assignment: Map<FunctionVariable, Protocol>, propModel: Map<String, Boolean>, problem: SelectionProblem)

Functions

fun evaluate(c: SelectionConstraint): Boolean

Given a protocol selection, evaluate the constraints.

fun evaluate(cost: SymbolicCost): Int

fun getAssignment(fv: FunctionVariable): Protocol

fun getAssignment(f: FunctionName, v: Variable): Protocol

Properties

val assignment: Map<FunctionVariable, Protocol>

val problem: SelectionProblem

val propModel: Map<String, Boolean>