viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.security.solver
/
ConstraintSolution
/
evaluate
evaluate
fun
evaluate
(
term
:
Term
<
C
,
V
>
)
:
SecurityLattice
<
C
>
Returns the value of
term
.