compiler/edu.cornell.cs.apl.viaduct.selection/ProtocolAssignment

ProtocolAssignment

data class ProtocolAssignment(assignment: Map<FunctionVariable, Protocol>, propModel: Map<String, Boolean>, problem: SelectionProblem)
Content copied to clipboard

Functions

evaluate
Link copied to clipboard
fun evaluate(c: SelectionConstraint): Boolean
Content copied to clipboard

Given a protocol selection, evaluate the constraints.

fun evaluate(cost: SymbolicCost): Int
Content copied to clipboard
getAssignment
Link copied to clipboard
fun getAssignment(fv: FunctionVariable): Protocol
Content copied to clipboard
fun getAssignment(f: FunctionName, v: Variable): Protocol
Content copied to clipboard

Properties

assignment
Link copied to clipboard
val assignment: Map<FunctionVariable, Protocol>
Content copied to clipboard
problem
Link copied to clipboard
val problem: SelectionProblem
Content copied to clipboard
propModel
Link copied to clipboard
val propModel: Map<String, Boolean>
Content copied to clipboard