il2.inf.map
Class Factorizer

Object
  extended by Factorizer

public class Factorizer
extends Object

Author:
jdpark

Constructor Summary
Factorizer(Domain d)
          Creates a new instance of Binarizer
 
Method Summary
 IntList convert(IntList orig)
           
 IntMap convert(IntMap orig)
           
 IntSet convert(IntSet orig)
           
 Table convert(Table orig)
           
 Table[] convert(Table[] vals)
           
 IntMap toOriginal(IntMap bin)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Factorizer

public Factorizer(Domain d)
Creates a new instance of Binarizer

Method Detail

convert

public Table convert(Table orig)

convert

public IntMap convert(IntMap orig)

toOriginal

public IntMap toOriginal(IntMap bin)

convert

public IntSet convert(IntSet orig)

convert

public IntList convert(IntList orig)

convert

public Table[] convert(Table[] vals)


Copyright 2010 UCLA Automated Reasoning Group