compiler/io.github.aplcornell.viaduct.backends.aby/ABYProtocolFactory

ABYProtocolFactory

class ABYProtocolFactory(program: ProgramNode) : ProtocolFactory

Constructors

ABYProtocolFactory

fun ABYProtocolFactory(program: ProgramNode)

Functions

open override fun constraint(node: UpdateNode): SelectionConstraint

open override fun constraint(node: VariableDeclarationNode): SelectionConstraint

guardVisibilityConstraint

open override fun guardVisibilityConstraint(protocol: Protocol, node: IfNode): SelectionConstraint

viableProtocols

open override fun viableProtocols(node: VariableDeclarationNode): Set<Protocol>

Returns the set of protocols that can implement node.

Properties

var parentFactory: ProtocolFactory? = null

protocolComposer

var protocolComposer: ProtocolComposer? = null

Extensions

fun ProtocolFactory.filter(predicate: (Protocol) -> Boolean): ProtocolFactory

Restricts the given factory to protocols that satisfy predicate.