viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.syntax
/
HostTrustConfiguration
Host
Trust
Configuration
class
HostTrustConfiguration
A map that associates each host with its authority label.
Types
Functions
Properties
Types
Companion
Link copied to clipboard
object
Companion
:
AnalysisProvider
<
HostTrustConfiguration
>
Functions
acts
For
Link copied to clipboard
fun
actsFor
(
from
:
Label
,
to
:
Label
)
:
Boolean
equals
Link copied to clipboard
fun
equals
(
from
:
Label
,
to
:
Label
)
:
Boolean
Properties
congruence
Link copied to clipboard
val
congruence
:
FreeDistributiveLatticeCongruence
<
Component
<
Principal
>
>
program
Link copied to clipboard
val
program
:
ProgramNode