public Universe () { variableAlphabet = new BidirectionalIntObjectMap (); }
public void dump () { dump (System.out); }
public int add (Variable var) { return variableAlphabet.lookupIndex (var, true); }
private void writeObject (ObjectOutputStream out) throws IOException { out.defaultWriteObject (); out.writeInt (CURRENT_SERIAL_VERSION); out.writeObject (variableAlphabet.toArray ()); }
public Variable get (int idx) { return (Variable) variableAlphabet.lookupObject (idx); }
public int size () { return variableAlphabet.size (); }
private void writeObject (ObjectOutputStream out) throws IOException { out.defaultWriteObject (); out.writeInt (CURRENT_SERIAL_VERSION); out.writeObject (variableAlphabet.toArray ()); }
public Factor getFactor (int i) { return (Factor) factorsAlphabet.lookupObject (i); }
public int size () { return variableAlphabet.size (); }
public int[] lookupIndices (Object[] objects, boolean addIfNotPresent) { int[] ret = new int[objects.length]; for (int i = 0; i < objects.length; i++) ret[i] = lookupIndex (objects[i], addIfNotPresent); return ret; }
public Universe () { variableAlphabet = new BidirectionalIntObjectMap (); }
private void writeObject (ObjectOutputStream out) throws IOException { out.defaultWriteObject (); out.writeInt (CURRENT_SERIAL_VERSION); out.writeObject (variableAlphabet.toArray ()); }
public Factor getFactor (int i) { return (Factor) factorsAlphabet.lookupObject (i); }
public void dump () { dump (System.out); }
public int size () { return variableAlphabet.size (); }
public int[] lookupIndices (Object[] objects, boolean addIfNotPresent) { int[] ret = new int[objects.length]; for (int i = 0; i < objects.length; i++) ret[i] = lookupIndex (objects[i], addIfNotPresent); return ret; }
public Universe () { variableAlphabet = new BidirectionalIntObjectMap (); }
private void initVars (BidirectionalIntObjectMap allVars) { initVars (Arrays.asList (allVars.toArray ())); }
public Variable get (int idx) { return (Variable) variableAlphabet.lookupObject (idx); }
public void dump () { dump (System.out); }