Uses of Class
sync.pds.weights.SetDomain

Packages that use SetDomain

Package	Description
sync.pds.weights

Uses of SetDomain in sync.pds.weights

Methods in sync.pds.weights that return SetDomain

Modifier and Type	Method	Description
static <N extends Location,Stmt,Fact> SetDomain<N,Stmt,Fact>	SetDomain.one()
static <N extends Location,Stmt,Fact> SetDomain<N,Stmt,Fact>	SetDomain.zero()