All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----rsf.operator.StatVarFactory
public StatVarFactory()
public Space createDomain(Space range)
public Space createRange(Space domain)
public Operator getOp(Space domain, Space range)
public Operator getOpWithRange(Space range)
public Operator getOpWithDomain(Space domain)
All Packages Class Hierarchy This Package Previous Next Index