AllPathsSemiring

net.walend.disentangle.graph.semiring.AllPathsFirstSteps.AllPathsSemiring$
object AllPathsSemiring extends Semiring

Attributes

Graph
Supertypes
trait Semiring
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def extend(fromThroughLabel: Label, throughToLabel: 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(fromThroughToLabel: Label, currentLabel: 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

Inherited 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

Inherited from:
Semiring

Concrete fields

val I: Label

identity

identity

Attributes

val O: Label

annihilator

annihilator

Attributes