il2.model
Class Domain
Object
Domain
public class Domain
- extends Object
Domain
public Domain()
Domain
public Domain(int initialSize)
addDim
public int addDim(int size)
addDim
public int addDim(String name,
int size)
addDim
public int addDim(String name,
List vals)
addDim
public int addDim(String name,
String[] vals)
size
public int size()
size
public int size(int var)
logSize
public double logSize(int var)
logSize
public double logSize(IntSet vars)
toStrings
public Map toStrings(IntMap inst)
getSizes
public int[] getSizes(IntSet vars)
getSizesLong
public long[] getSizesLong(IntSet vars)
- Since:
- 020305
getLogSizes
public double[] getLogSizes(IntSet vars)
size
public double size(IntSet vars)
namesToString
public String namesToString()
- Since:
- 20060124
name
public String name(int var)
index
public int index(String name)
instanceIndex
public int instanceIndex(int var,
String val)
instanceName
public String instanceName(int var,
int val)
instanceNames
public String[] instanceNames(int var)
Copyright 2010 UCLA Automated Reasoning Group