java.lang.Object
- de.breakpointsec.pushdown.weights.Semiring<String>
- - de.breakpointsec.pushdown.weights.DataFlowPathSemiring<Statement>

public class DataFlowPathSemiring<Statement>
extends Semiring<String>

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Semiring`	`combineWith(Semiring other)`
`boolean`	`equals(Object obj)`
`Semiring`	`extendWith(Semiring o)`
`int`	`hashCode()`
`static DataFlowPathSemiring`	`one()`
`String`	`toString()`
`String`	`value()`
`static DataFlowPathSemiring`	`zero()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public DataFlowPathSemiring(Statement relevantStatement)

public static DataFlowPathSemiring one()

public static DataFlowPathSemiring zero()

Class DataFlowPathSemiring<Statement>