il2.model
Class Domain

Object
  extended by Domain

public class Domain
extends Object


Constructor Summary
Domain()
           
Domain(int initialSize)
           
 
Method Summary
 int addDim(int size)
           
 int addDim(String name, int size)
           
 int addDim(String name, List vals)
           
 int addDim(String name, String[] vals)
           
 double[] getLogSizes(IntSet vars)
           
 int[] getSizes(IntSet vars)
           
 long[] getSizesLong(IntSet vars)
           
 int index(String name)
           
 int instanceIndex(int var, String val)
           
 String instanceName(int var, int val)
           
 String[] instanceNames(int var)
           
 double logSize(int var)
           
 double logSize(IntSet vars)
           
 String name(int var)
           
 String namesToString()
           
 int size()
           
 int size(int var)
           
 double size(IntSet vars)
           
 Map toStrings(IntMap inst)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Domain

public Domain()

Domain

public Domain(int initialSize)
Method Detail

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