viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.security.solver
/
ConstraintSolution
Constraint
Solution
class
ConstraintSolution
<
C
:
Lattice
<
C
>
,
V
>
:
Function1
<
V
,
SecurityLattice
<
C
>
>
A solution to a system of constraints. Maps variables to values.
Functions
Functions
evaluate
Link copied to clipboard
fun
evaluate
(
term
:
Term
<
C
,
V
>
)
:
SecurityLattice
<
C
>
Returns the value of
term
.
invoke
Link copied to clipboard
open
operator override
fun
invoke
(
variable
:
V
)
:
SecurityLattice
<
C
>