broker

Documentation

Index

• func BisimilarityAlgorithm(ctx context.Context, req contract.LocalContract, prov contract.LocalContract) (bool, map[string]string, error)
• func NewBrokerServer(databasePath string) *brokerServer
• type ContractCompatibilityFunc

Functions

func BisimilarityAlgorithm

func BisimilarityAlgorithm(ctx context.Context, req contract.LocalContract, prov contract.LocalContract) (bool, map[string]string, error)

This function assumes that it can call out to Python with the cfsm-bisimulation package installed. It also assumes both contracts are CFSMs.

func NewBrokerServer

func NewBrokerServer(databasePath string) *brokerServer

NewBrokerServer brokerServer constructor

Types

type ContractCompatibilityFunc

type ContractCompatibilityFunc func(ctx context.Context, req contract.LocalContract, prov contract.LocalContract) (bool, map[string]string, error)