public class SetDomain<N,Stmt,Fact>
extends Weight

Nested Class Summary
- Nested classes/interfaces inherited from class wpds.impl.Weight
  Weight.NoWeight

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Weight`	`combineWith(Weight other)`
`Collection<Node<Stmt,Fact>>`	`elements()`
`boolean`	`equals(Object obj)`
`Weight`	`extendWith(Weight other)`
`int`	`hashCode()`
`static <N extends Location,Stmt,Fact> SetDomain<N,Stmt,Fact>`	`one()`
`String`	`toString()`
`static <N extends Location,Stmt,Fact> SetDomain<N,Stmt,Fact>`	`zero()`

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

public SetDomain(Node<Stmt,Fact> node)

public Weight extendWith(Weight other)

public Weight combineWith(Weight other)

public static <N extends Location,Stmt,Fact> SetDomain<N,Stmt,Fact> one()

public static <N extends Location,Stmt,Fact> SetDomain<N,Stmt,Fact> zero()

public Collection<Node<Stmt,Fact>> elements()

Class SetDomain<N,​Stmt,​Fact>

Class SetDomain<N,Stmt,Fact>