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

evaluate

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