edu.neu.ccs.util
Class ShannonCofactor
java.lang.Object
edu.neu.ccs.demeterf.ID
edu.neu.ccs.demeterf.Bc
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
Fields inherited from interface edu.neu.ccs.demeterf.Builder |
methodName |
Fields inherited from interface edu.neu.ccs.demeterf.Augmentor |
methodName |
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 |
ShannonCofactor
public ShannonCofactor()
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)