AllPathsSemiring

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. val I: Option[FirstSteps]

   

   identity

   identity

   Definition Classes

   AllPathsSemiring → Semiring

5. val O: None.type

   

   annihilator

   annihilator

   Definition Classes

   AllPathsSemiring → Semiring

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. val coreSemiring: Semiring

   

9. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

11. 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

    Definition Classes

    AllPathsSemiring → Semiring

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

13. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

14. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

15. 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

    Definition Classes

    AllPathsSemiring → Semiring

16. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

17. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

18. final def notify(): Unit

    

    Definition Classes

    AnyRef

19. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

20. def relax(fromThrough: AllPathsFirstSteps.Label, throughTo: AllPathsFirstSteps.Label, current: AllPathsFirstSteps.Label): AllPathsFirstSteps.Label

    

    Override relax to add side effects to the relax operator

    Override relax to add side effects to the relax operator

    Definition Classes

    Semiring

21. 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

    Definition Classes

    AllPathsSemiring → Semiring

22. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

23. def toString(): String

    

    Definition Classes

    AnyRef → Any

24. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

25. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

26. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )