viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.selection
/
ProtocolAssignment
/
evaluate
evaluate
fun
evaluate
(
c
:
SelectionConstraint
)
:
Boolean
Given a protocol selection, evaluate the constraints.
fun
evaluate
(
cost
:
SymbolicCost
)
:
Int