NumSemiring (pushdown 1.1 API)

java.lang.Object
- de.breakpointsec.pushdown.weights.Semiring<Integer>
- - de.breakpointsec.pushdown.weights.NumSemiring

public class NumSemiring
extends Semiring<Integer>

Constructor Summary

Constructors
Constructor Description

NumSemiring(int i)

Method Summary

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

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

Constructor Detail
- NumSemiring
```
public NumSemiring(int i)
```

Method Detail

extendWith
```
public Semiring extendWith(Semiring other)
```
Specified by:

extendWith in class Semiring<Integer>

combineWith
```
public Semiring combineWith(Semiring other)
```
Specified by:

combineWith in class Semiring<Integer>

value
```
public Integer value()
```
Specified by:

value in class Semiring<Integer>

one
```
public static <N> NumSemiring one()
```

zero
```
public static <N> NumSemiring zero()
```

toString
```
public String toString()
```
Overrides:

toString in class Object

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object

equals
```
public boolean equals(Object obj)
```
Overrides:

equals in class Object