edu.neu.ccs.util
Class ShannonCofactor

java.lang.Object
  extended by edu.neu.ccs.demeterf.ID
      extended by edu.neu.ccs.demeterf.Bc
          extended by edu.neu.ccs.util.ShannonCofactor
All Implemented Interfaces:
edu.neu.ccs.demeterf.Augmentor, edu.neu.ccs.demeterf.Builder, edu.neu.ccs.demeterf.BuilderAugmentor

public class ShannonCofactor
extends edu.neu.ccs.demeterf.Bc

Performs operations related to shannon cofactor

Author:
Charu Chandra and Wu Jiang

Field Summary
 
Fields inherited from interface edu.neu.ccs.demeterf.Builder
methodName
 
Fields inherited from interface edu.neu.ccs.demeterf.Augmentor
methodName
 
Constructor Summary
ShannonCofactor()
           
 
Method Summary
(package private)  gen.Constraint combine(gen.Constraint c, gen.Weight w, gen.RelationNr r, edu.neu.ccs.demeterf.demfgen.lib.List<gen.Variable> vars, gen.Literal lit)
           
static int computeSC(int r, int position, int value)
           
 
Methods inherited from class edu.neu.ccs.demeterf.Bc
combine, combine, combine, combine, combine, combine, combine, isDebug, setDebug
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ShannonCofactor

public ShannonCofactor()
Method Detail

combine

gen.Constraint combine(gen.Constraint c,
                       gen.Weight w,
                       gen.RelationNr r,
                       edu.neu.ccs.demeterf.demfgen.lib.List<gen.Variable> vars,
                       gen.Literal lit)

computeSC

public static int computeSC(int r,
                            int position,
                            int value)