Semiring

net.walend.disentangle.graph.semiring.SemiringSupport.Semiring
trait Semiring

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Abstract methods

def I: Label

identity

identity

Attributes

def O: Label

annihilator

annihilator

Attributes

def extend(fromThrough: Label, throughTo: Label): Label

Implement this method to create the core of an extend operator

Implement this method to create the core of an extend operator

Attributes

def inDomain(label: Label): Boolean

true if the value is within the Semiring's domain

true if the value is within the Semiring's domain

Attributes

def summary(fromThroughTo: Label, current: Label): Label

Implement this method to create the core of a summary operator

Implement this method to create the core of a summary operator

Attributes

Concrete methods

def relax(fromThrough: Label, throughTo: Label, current: Label): Label

Override relax to add side effects to the relax operator

Override relax to add side effects to the relax operator

Attributes