NoSemiring (pushdown 1.1 API)

java.lang.Object
- de.breakpointsec.pushdown.weights.Semiring
- - de.breakpointsec.pushdown.weights.NoSemiring

public class NoSemiring
extends Semiring

Field Summary

Fields
Modifier and Type Field Description

static NoSemiring NO_WEIGHT_ONE

static NoSemiring NO_WEIGHT_ZERO

Constructor Summary

Constructors
Constructor Description

NoSemiring()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Semiring`	`combineWith(Semiring other)`
`boolean`	`equals(Object other)`
`Semiring`	`extendWith(Semiring other)`
`Object`	`value()`

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

Field Detail

NO_WEIGHT_ONE
```
public static NoSemiring NO_WEIGHT_ONE
```

NO_WEIGHT_ZERO

public static NoSemiring NO_WEIGHT_ZERO

Constructor Detail
- NoSemiring
```
public NoSemiring()
```

Method Detail
- extendWith
```
public Semiring extendWith(Semiring other)
```
  Specified by:
  
  extendWith in class Semiring
- combineWith
```
public Semiring combineWith(Semiring other)
```
  Specified by:
  
  combineWith in class Semiring
- value
```
public Object value()
```
  Specified by:
  
  value in class Semiring
- equals
```
public boolean equals(Object other)
```
  Overrides:
  
  equals in class Object