Package de.breakpointsec.pushdown.weights

Class Semiring<T>

java.lang.Object

de.breakpointsec.pushdown.weights.Semiring<T>

Direct Known Subclasses:

DataFlowPathSemiring, NoSemiring, NumSemiring

public abstract class Semiring<T>
extends Object

A bounded idempotent semi-ring.

Constructor Summary

Constructors

Constructor	Description
Semiring()

Method Summary

Modifier and Type	Method	Description
abstract Semiring	combineWith(Semiring other)
abstract Semiring	extendWith(Semiring other)
abstract T	value()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Semiring

public Semiring()

Method Detail

extendWith

public abstract Semiring extendWith(Semiring other)

combineWith

public abstract Semiring combineWith(Semiring other)

value

public abstract T value()