Index (bddbddb 1.0 API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

A B C D E F G H I J L M N O P Q R S T U V W X Z

A

ACENT - Static variable in class net.sf.bddbddb.FindBestDomainOrder
activeDomains(BDD) - Static method in class net.sf.bddbddb.BDDRelation: Return a string representation of the active domains of the given relation.
add(int) - Method in class net.sf.bddbddb.BDDRelation: Add a single to this relation.
add(int, int) - Method in class net.sf.bddbddb.BDDRelation: Add a double to this relation.
add(int, int, int) - Method in class net.sf.bddbddb.BDDRelation: Add a triple to this relation.
add(BigInteger[]) - Method in class net.sf.bddbddb.BDDRelation
add(Object) - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator
add(BigInteger[]) - Method in class net.sf.bddbddb.LSRelation: Add tuple to this relation.
add(Object) - Method in class net.sf.bddbddb.order.Order
add(int, Object) - Method in class net.sf.bddbddb.order.Order
add(BigInteger[]) - Method in class net.sf.bddbddb.Relation: Adds the given tuple to this relation.
addAll(int, Collection) - Method in class net.sf.bddbddb.order.Order
addAll(Collection) - Method in class net.sf.bddbddb.order.Order
addAllPairs(FastVector, Collection) - Static method in class net.sf.bddbddb.order.WekaInterface
addBDDLibraryToClasspath(String[]) - Static method in class net.sf.bddbddb.Solver
addBeforeConstraint(PartialOrder.Constraint) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints
addConstraints(IterationList) - Method in class net.sf.bddbddb.ir.DomainAssignment
addEdge(Object, Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph
addEdge(String) - Method in class net.sf.bddbddb.Dot
addElement(IterationElement) - Method in class net.sf.bddbddb.IterationList
addElement(int, IterationElement) - Method in class net.sf.bddbddb.IterationList
addInterleavedConstraint(PartialOrder.Constraint) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints
addNode(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph
addNodes(Collection) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph
addSaveHook(Runnable) - Method in class net.sf.bddbddb.Solver
addToInstances(TrialInstances, EpisodeCollection, OrderTranslator) - Static method in class net.sf.bddbddb.order.TrialDataRepository
addTrial(TrialInfo) - Method in class net.sf.bddbddb.order.EpisodeCollection: Add the information about a trial to this collection.
addTrial(Order, TrialPrediction, long, long) - Method in class net.sf.bddbddb.order.EpisodeCollection: Add the information about a trial to this collection.
addTrial(TrialInfo) - Method in class net.sf.bddbddb.order.EpisodeCollection.Episode
addTrial(InferenceRule, List, TrialInfo) - Method in class net.sf.bddbddb.order.TrialDataRepository
addTrials(EpisodeCollection) - Method in class net.sf.bddbddb.FindBestDomainOrder.ConstraintInfoCollection
addXMLContent(Element, InferenceRule) - Method in class net.sf.bddbddb.order.OrderConstraint
adjustWeights(TrialInstances, TrialInstances, TrialInstances) - Method in class net.sf.bddbddb.FindBestDomainOrder
allocateBDDDomain(Domain) - Method in class net.sf.bddbddb.BDDSolver: Allocate a new BDD domain that matches the given domain.
AMEAN_INDEX - Static variable in class net.sf.bddbddb.FindBestDomainOrder
anticipated - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropTF
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.DefUse.DefUseTransferFunction
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.Liveness.LivenessTF
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest.EarliestTF
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Latest.LatestTF
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used.UsedTF
apply(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.Problem.TransferFunction
ApplyEx - Class in net.sf.bddbddb.ir.lowlevel: ApplyEx
ApplyEx(BDDRelation, BDDRelation, BDDFactory.BDDOp, BDDRelation) - Constructor for class net.sf.bddbddb.ir.lowlevel.ApplyEx
approxNumOrders(int) - Method in class net.sf.bddbddb.order.OrderConstraintSet
attrClassWeight - Variable in class net.sf.bddbddb.FindBestDomainOrder
AttribToDomainMap - Class in net.sf.bddbddb.order: AttribToDomainMap
AttribToDomainMap(Solver) - Constructor for class net.sf.bddbddb.order.AttribToDomainMap
AttribToDomainTranslator - Class in net.sf.bddbddb.order: AttribToDomainTranslator
Attribute - Class in net.sf.bddbddb: An Attribute represents a single attribute of a relation.
ATTRIBUTE - Static variable in class net.sf.bddbddb.order.TrialPrediction
attributeDomain - Variable in class net.sf.bddbddb.Attribute: Attribute domain.
attributeName - Variable in class net.sf.bddbddb.Attribute: Attribute name.
attributeOptions - Variable in class net.sf.bddbddb.Attribute: Attribute options.
attributes - Variable in class net.sf.bddbddb.Relation: Attributes of this relation.
available - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy
availOpIns - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy.Available

B

BaggedId3 - Class in net.sf.bddbddb.order
BaggedId3() - Constructor for class net.sf.bddbddb.order.BaggedId3
BDD_INPUT_SUFFIX - Static variable in class net.sf.bddbddb.BDDRelation
BDD_OUTPUT_SUFFIX - Static variable in class net.sf.bddbddb.BDDRelation
bdd_save(String, BDD, List) - Static method in class net.sf.bddbddb.BuildEquivalenceRelation
bddDomainInfoFileName - Static variable in class net.sf.bddbddb.BDDSolver: Filename for BDD domain info file.
BDDInferenceRule - Class in net.sf.bddbddb: An implementation of InferenceRule that uses BDDs.
BDDInferenceRule.VarOrderComparator - Class in net.sf.bddbddb
BDDInferenceRule.VarOrderComparator(String) - Constructor for class net.sf.bddbddb.BDDInferenceRule.VarOrderComparator
BDDInterpreter - Class in net.sf.bddbddb.ir: BDDInterpreter
BDDInterpreter(IR) - Constructor for class net.sf.bddbddb.ir.BDDInterpreter
BDDOperationInterpreter - Class in net.sf.bddbddb.ir: BDDOperationInterpreter
BDDOperationInterpreter(BDDSolver, BDDFactory) - Constructor for class net.sf.bddbddb.ir.BDDOperationInterpreter
BDDProject - Class in net.sf.bddbddb.ir.lowlevel: Project
BDDProject(BDDRelation, BDDRelation) - Constructor for class net.sf.bddbddb.ir.lowlevel.BDDProject
BDDRelation - Class in net.sf.bddbddb: An implementation of Relation that uses BDDs.
BDDREORDER - Variable in class net.sf.bddbddb.BDDSolver
BDDSolver - Class in net.sf.bddbddb: An implementation of Solver that uses BDDs.
BDDSolver() - Constructor for class net.sf.bddbddb.BDDSolver: Constructs a new BDD solver.
BEFORE - Static variable in class net.sf.bddbddb.dataflow.PartialOrder.Constraint
bestOrders(BDDInferenceRule, int) - Method in class net.sf.bddbddb.FindBestDomainOrder: Generate the k best orders for the given inference rule and put the result in a string.
binarize(double, TrialInstances) - Static method in class net.sf.bddbddb.order.WekaInterface
binsTipText() - Method in class net.sf.bddbddb.order.MyDiscretize: Returns the tip text for this property
BitVectorFact - Class in net.sf.bddbddb.dataflow: BitVectorFact
BitVectorFact(int) - Constructor for class net.sf.bddbddb.dataflow.BitVectorFact
BitVectorFact(BitString) - Constructor for class net.sf.bddbddb.dataflow.BitVectorFact
BooleanAssign - Class in net.sf.bddbddb.ir.dynamic: BooleanAssign
BooleanAssign(IRBoolean) - Constructor for class net.sf.bddbddb.ir.dynamic.BooleanAssign
BooleanOperation - Class in net.sf.bddbddb.ir.highlevel: BooleanOperation
BooleanOperation(Relation, Relation, Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.BooleanOperation
bottom - Variable in class net.sf.bddbddb.InferenceRule: Head of the rule (i.e.
buckets - Variable in class net.sf.bddbddb.order.Discretization
buildAttribInstances(InferenceRule, List) - Method in class net.sf.bddbddb.order.TrialDataRepository
buildClassifier(Instances) - Method in class net.sf.bddbddb.order.BaggedId3
buildClassifier(Instances) - Method in class net.sf.bddbddb.order.MyId3: Builds Id3 decision tree classifier.
buildClassifier(String, Instances) - Static method in class net.sf.bddbddb.order.WekaInterface
buildDomainInstances(InferenceRule, List) - Method in class net.sf.bddbddb.order.TrialDataRepository
BuildEquivalenceRelation - Class in net.sf.bddbddb: Utility to build equivalence relations between multiple domains.
BuildEquivalenceRelation() - Constructor for class net.sf.bddbddb.BuildEquivalenceRelation
buildGraphAndReps() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints
buildVarInstances(InferenceRule, List) - Method in class net.sf.bddbddb.order.TrialDataRepository

C

calcLongSimilarities(Collection) - Static method in class net.sf.bddbddb.order.Order: Given a collection of orders, find its similarities and the number of occurrences of each similarity.
calculateNecessaryVariables() - Method in class net.sf.bddbddb.InferenceRule: Calculate and return the set of necessary variables for this rule.
CANDIDATE_SET_SIZE - Static variable in class net.sf.bddbddb.FindBestDomainOrder
CandidateSampler - Class in net.sf.bddbddb.order
CandidateSampler() - Constructor for class net.sf.bddbddb.order.CandidateSampler
CandidateSampler.LocalVarianceSampler - Class in net.sf.bddbddb.order
CandidateSampler.LocalVarianceSampler(int, int) - Constructor for class net.sf.bddbddb.order.CandidateSampler.LocalVarianceSampler
CandidateSampler.UncertaintySampler - Class in net.sf.bddbddb.order
CandidateSampler.UncertaintySampler(int, double, double, double, double) - Constructor for class net.sf.bddbddb.order.CandidateSampler.UncertaintySampler
CHECK - Static variable in class net.sf.bddbddb.ir.BDDOperationInterpreter
checkUnnecessaryVariables() - Method in class net.sf.bddbddb.InferenceRule: Checks to see if there are any variables that only appear once.
checkUnnecessaryVariables() - Method in class net.sf.bddbddb.NumberingRule
CLASSIFIER - Static variable in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup
CLASSIFIER1 - Static variable in class net.sf.bddbddb.FindBestDomainOrder
CLASSIFIER2 - Static variable in class net.sf.bddbddb.FindBestDomainOrder
CLASSIFIER3 - Static variable in class net.sf.bddbddb.FindBestDomainOrder
classify() - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup
classifyInstance(Instance) - Method in class net.sf.bddbddb.order.BaggedId3
classifyInstance(Instance) - Method in class net.sf.bddbddb.order.MyId3: Classifies a given test instance using the decision tree.
classProbability(Instance, double) - Method in class net.sf.bddbddb.order.BaggedId3
classProbability(Instance, double) - Method in class net.sf.bddbddb.order.ClassProbabilityEstimator
ClassProbabilityEstimator - Class in net.sf.bddbddb.order
ClassProbabilityEstimator() - Constructor for class net.sf.bddbddb.order.ClassProbabilityEstimator
classVariance(Instance, double) - Method in class net.sf.bddbddb.order.BaggedId3
classVariance(Instance, double) - Method in class net.sf.bddbddb.order.ClassProbabilityEstimator
cleanup() - Method in class net.sf.bddbddb.BDDSolver
cleanup() - Method in class net.sf.bddbddb.LSSolver
cleanup() - Method in class net.sf.bddbddb.Solver: Clean up the solver, freeing the memory associated with it.
clear() - Method in class net.sf.bddbddb.order.Order
clear() - Method in class net.sf.bddbddb.Solver: Clear this solver of all relations, domains, and rules.
cloneInstance(TrialInstance) - Static method in class net.sf.bddbddb.order.TrialInstance
close() - Method in class net.sf.bddbddb.Solver.MyReader: Close all of the readers we have open.
CodeFragment - Class in net.sf.bddbddb: CodeFragment
CodeFragment(String, InferenceRule) - Constructor for class net.sf.bddbddb.CodeFragment
CodeFragment(String, Relation) - Constructor for class net.sf.bddbddb.CodeFragment
compare(Object, Object) - Method in class net.sf.bddbddb.BDDInferenceRule.VarOrderComparator
compare(Problem.Fact, Problem.Fact) - Method in class net.sf.bddbddb.dataflow.Problem
compare(double, double) - Static method in class net.sf.bddbddb.FindBestDomainOrder
compare(Object, Object) - Method in class net.sf.bddbddb.LSRelation.TupleComparator
compareTo(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint
compareTo(Object) - Method in class net.sf.bddbddb.FindBestDomainOrder.OrderInfo
compareTo(FindBestDomainOrder.OrderInfo) - Method in class net.sf.bddbddb.FindBestDomainOrder.OrderInfo: Comparison operator for OrderInfo objects.
compareTo(Object) - Method in class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem
compareTo(Object) - Method in class net.sf.bddbddb.order.ConstraintInfo
compareTo(ConstraintInfo) - Method in class net.sf.bddbddb.order.ConstraintInfo
compareTo(Object) - Method in class net.sf.bddbddb.order.Order
compareTo(Order) - Method in class net.sf.bddbddb.order.Order: Compares orders lexigraphically.
compareTo(Object) - Method in class net.sf.bddbddb.order.OrderConstraint
compareTo(OrderConstraint) - Method in class net.sf.bddbddb.order.OrderConstraint
compareTo(Object) - Method in class net.sf.bddbddb.order.TrialInfo
compareTo(TrialInfo) - Method in class net.sf.bddbddb.order.TrialInfo: Comparison operator for TrialInfo objects.
compareTo(Object) - Method in class net.sf.bddbddb.order.TrialInstance
complexity() - Method in class net.sf.bddbddb.order.Order: Returns a measure of the complexity of this order.
COMPLEXITY_MULTI - Static variable in class net.sf.bddbddb.order.Order
COMPLEXITY_SINGLE - Static variable in class net.sf.bddbddb.order.Order
compress(BigInteger[]) - Method in class net.sf.bddbddb.LSRelation: Compress the given array into a packed value.
computeWeight(int, TrialInstances) - Method in class net.sf.bddbddb.FindBestDomainOrder
considerable(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy
Constant - Class in net.sf.bddbddb: A Constant is a special kind of variable that represents a constant value.
Constant(long) - Constructor for class net.sf.bddbddb.Constant: Create a constant with the given value.
ConstantProp - Class in net.sf.bddbddb.dataflow: ConstantProp
ConstantProp() - Constructor for class net.sf.bddbddb.dataflow.ConstantProp
ConstantProp.ConstantPropFact - Class in net.sf.bddbddb.dataflow
ConstantProp.ConstantPropFact() - Constructor for class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact
ConstantProp.ConstantPropFact(Relation, Object) - Constructor for class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact
ConstantProp.ConstantPropFact(ConstantProp.ConstantPropFact) - Constructor for class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact
ConstantProp.ConstantPropFacts - Class in net.sf.bddbddb.dataflow
ConstantProp.ConstantPropFacts() - Constructor for class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFacts
ConstantProp.ConstantPropTF - Class in net.sf.bddbddb.dataflow
ConstantProp.ConstantPropTF(Operation) - Constructor for class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF
ConstantProp.SimplifyVisitor - Class in net.sf.bddbddb.dataflow
ConstantProp.SimplifyVisitor() - Constructor for class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor
constFoldCV(Instances, String) - Method in class net.sf.bddbddb.FindBestDomainOrder
constrain(OrderConstraintSet, Collection) - Method in class net.sf.bddbddb.order.OrderConstraintSet
constrain(Order, Collection) - Method in class net.sf.bddbddb.order.OrderConstraintSet
constrain(Collection, Collection) - Method in class net.sf.bddbddb.order.OrderConstraintSet
constrain(OrderConstraint) - Method in class net.sf.bddbddb.order.OrderConstraintSet
ConstraintInfo - Class in net.sf.bddbddb.order: Information about a particular constraint.
ConstraintInfo(OrderConstraint) - Constructor for class net.sf.bddbddb.order.ConstraintInfo: Construct a new ConstraintInfo.
construct(TrialInfo, Order, double, TrialInstances) - Static method in class net.sf.bddbddb.order.TrialInstance
construct(TrialInfo, Order, double, TrialInstances, double) - Static method in class net.sf.bddbddb.order.TrialInstance
construct(Order, Instances) - Static method in class net.sf.bddbddb.order.WekaInterface.OrderInstance
construct(Order, Instances, double) - Static method in class net.sf.bddbddb.order.WekaInterface.OrderInstance
constructAttribAttributes(InferenceRule, Collection) - Static method in class net.sf.bddbddb.order.WekaInterface
constructDomainAttributes(InferenceRule, Collection) - Static method in class net.sf.bddbddb.order.WekaInterface
constructVarAttributes(Collection) - Static method in class net.sf.bddbddb.order.WekaInterface
contains(int, BigInteger) - Method in class net.sf.bddbddb.BDDRelation
contains(Object) - Method in class net.sf.bddbddb.dataflow.DefUse.OperationSet
contains(IterationElement) - Method in class net.sf.bddbddb.IterationList
contains(int, BigInteger) - Method in class net.sf.bddbddb.LSRelation
contains(Order) - Method in class net.sf.bddbddb.order.EpisodeCollection: Returns true if this collection contains a trial with the given order, false otherwise.
contains(Object) - Method in class net.sf.bddbddb.order.Order
contains(int, BigInteger) - Method in class net.sf.bddbddb.Relation: Returns true iff this relation contains a tuple where the kth field is value j.
containsAll(Collection) - Method in class net.sf.bddbddb.order.Order
convert(Collection) - Static method in class net.sf.bddbddb.order.AttribToDomainMap
convert(Collection, InferenceRule) - Static method in class net.sf.bddbddb.order.VarToAttribMap
copy() - Method in class net.sf.bddbddb.BDDRelation
copy(IterationList) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact
copy(IterationList) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFacts
copy() - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact
copy(IterationList) - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact
copy() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints
copy(IterationList) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact
copy() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi
copy(IterationList) - Method in interface net.sf.bddbddb.dataflow.Problem.Fact
copy(IterationList) - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts
copy(IterationList) - Method in class net.sf.bddbddb.dataflow.UnionBitVectorFact
copy() - Method in class net.sf.bddbddb.ir.dynamic.If
copy() - Method in class net.sf.bddbddb.ir.dynamic.Nop
Copy - Class in net.sf.bddbddb.ir.highlevel: Copy
Copy(Relation, Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Copy
copy() - Method in class net.sf.bddbddb.ir.highlevel.Copy
copy() - Method in class net.sf.bddbddb.ir.highlevel.Difference
copy() - Method in class net.sf.bddbddb.ir.highlevel.Free
copy() - Method in class net.sf.bddbddb.ir.highlevel.GenConstant
copy() - Method in class net.sf.bddbddb.ir.highlevel.Invert
copy() - Method in class net.sf.bddbddb.ir.highlevel.Join
copy() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant
copy() - Method in class net.sf.bddbddb.ir.highlevel.Load
copy() - Method in class net.sf.bddbddb.ir.highlevel.Project
copy() - Method in class net.sf.bddbddb.ir.highlevel.Rename
copy() - Method in class net.sf.bddbddb.ir.highlevel.Save
copy() - Method in class net.sf.bddbddb.ir.highlevel.Union
copy() - Method in class net.sf.bddbddb.ir.highlevel.Universe
copy() - Method in class net.sf.bddbddb.ir.highlevel.Zero
copy() - Method in class net.sf.bddbddb.ir.Interpreter.RelationStats
copy() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx
copy() - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject
copy() - Method in class net.sf.bddbddb.ir.lowlevel.Replace
copy() - Method in class net.sf.bddbddb.ir.Operation
copy() - Method in class net.sf.bddbddb.LSRelation
copy() - Method in class net.sf.bddbddb.order.OrderConstraintSet
copy() - Method in class net.sf.bddbddb.order.TrialInstance
copy() - Method in class net.sf.bddbddb.order.TrialInstances
copy() - Method in class net.sf.bddbddb.order.WekaInterface.OrderInstance
copy() - Method in class net.sf.bddbddb.Relation: Make a copy of this relation.
copyOptions(InferenceRule) - Method in class net.sf.bddbddb.BDDInferenceRule
copyOptions(InferenceRule) - Method in class net.sf.bddbddb.InferenceRule: Copy the options from another rule into this one.
CopyProp - Class in net.sf.bddbddb.dataflow: CopyProp
CopyProp(IR) - Constructor for class net.sf.bddbddb.dataflow.CopyProp
CopyProp.CopyPropFact - Class in net.sf.bddbddb.dataflow
CopyProp.CopyPropFact() - Constructor for class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact
CopyProp.CopyPropTF - Class in net.sf.bddbddb.dataflow
CopyProp.CopyPropTF(Operation) - Constructor for class net.sf.bddbddb.dataflow.CopyProp.CopyPropTF
cost - Variable in class net.sf.bddbddb.order.TrialInfo: Cost of this trial.
countAllOrders(Collection) - Method in class net.sf.bddbddb.order.OrderConstraintSet
countAllOrders(Collection, Set) - Method in class net.sf.bddbddb.order.OrderConstraintSet
CPE - Static variable in class net.sf.bddbddb.order.CandidateSampler
create() - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFacts
create(BitString) - Method in class net.sf.bddbddb.dataflow.DefUse.DefUseFact
create(BitString) - Method in class net.sf.bddbddb.dataflow.Liveness.LivenessFact
create() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated.AnticipatedFact
create() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Available.AvailableFact
create() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest.EarliestFact
create() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Latest.LatestFact
create() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed.PostponedFact
create() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used.UsedFact
create() - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts
create(BitString) - Method in class net.sf.bddbddb.dataflow.UnionBitVectorFact
create(Stratify) - Static method in class net.sf.bddbddb.ir.IR
create(Solver, List, Map) - Static method in class net.sf.bddbddb.ir.IR
createInferenceRule(List, RuleTerm) - Method in class net.sf.bddbddb.BDDSolver
createRelation(String, List) - Method in class net.sf.bddbddb.BDDSolver
createRelation(String, List) - Method in class net.sf.bddbddb.LSSolver
createRelation(String, List) - Method in class net.sf.bddbddb.Solver: Create a new relation.
currentFacts - Variable in class net.sf.bddbddb.dataflow.ConstantProp
currFact - Variable in class net.sf.bddbddb.dataflow.PartialOrder
cutPoints - Variable in class net.sf.bddbddb.order.Discretization
cvError(int, Instances, String) - Static method in class net.sf.bddbddb.order.WekaInterface

D

DataflowSolver - Class in net.sf.bddbddb.dataflow: DataflowSolver
DataflowSolver() - Constructor for class net.sf.bddbddb.dataflow.DataflowSolver
DataflowSolver.DataflowIterator - Class in net.sf.bddbddb.dataflow
DataflowSolver.DataflowIterator(Problem, Problem.Fact, IterationList) - Constructor for class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator
DatalogParser - Class in net.sf.bddbddb: DatalogParser
DatalogParser(Solver) - Constructor for class net.sf.bddbddb.DatalogParser: Construct a new Datalog parser with the given solver.
dateFormat - Static variable in class net.sf.bddbddb.FindBestDomainOrder
DCENT - Static variable in class net.sf.bddbddb.FindBestDomainOrder
DeadCode - Class in net.sf.bddbddb.dataflow
DeadCode(IR) - Constructor for class net.sf.bddbddb.dataflow.DeadCode
DECAY_FACTOR - Static variable in class net.sf.bddbddb.FindBestDomainOrder
DefUse - Class in net.sf.bddbddb.dataflow: DefUse
DefUse(IR) - Constructor for class net.sf.bddbddb.dataflow.DefUse
defUse - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy
DefUse.DefUseFact - Class in net.sf.bddbddb.dataflow
DefUse.DefUseFact(int) - Constructor for class net.sf.bddbddb.dataflow.DefUse.DefUseFact
DefUse.DefUseFact(BitString) - Constructor for class net.sf.bddbddb.dataflow.DefUse.DefUseFact
DefUse.DefUseTransferFunction - Class in net.sf.bddbddb.dataflow
DefUse.OperationIterator - Class in net.sf.bddbddb.dataflow
DefUse.OperationIterator(BitString) - Constructor for class net.sf.bddbddb.dataflow.DefUse.OperationIterator
DefUse.OperationSet - Class in net.sf.bddbddb.dataflow
DefUse.OperationSet(BitString) - Constructor for class net.sf.bddbddb.dataflow.DefUse.OperationSet
dependsOn(IterationElement, IterationElement) - Method in class net.sf.bddbddb.IterationFlowGraph
Difference - Class in net.sf.bddbddb.ir.highlevel: Difference
Difference(Relation, Relation, Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Difference
direction() - Method in class net.sf.bddbddb.dataflow.ConstantProp
direction() - Method in class net.sf.bddbddb.dataflow.CopyProp
direction() - Method in class net.sf.bddbddb.dataflow.DefUse
direction() - Method in class net.sf.bddbddb.dataflow.Liveness
direction() - Method in class net.sf.bddbddb.dataflow.OperationProblem
direction() - Method in class net.sf.bddbddb.dataflow.PartialOrder
direction() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated
direction() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Available
direction() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest
direction() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Latest
direction() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed
direction() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used
direction() - Method in class net.sf.bddbddb.dataflow.Problem
Discretization - Class in net.sf.bddbddb.order
Discretization(double[], TrialInstances[]) - Constructor for class net.sf.bddbddb.order.Discretization
discretize(double) - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup
discretize(double) - Method in class net.sf.bddbddb.order.TrialInstances
discretize(Discretize, int, int) - Method in class net.sf.bddbddb.order.TrialInstances
DISCRETIZE1 - Static variable in class net.sf.bddbddb.FindBestDomainOrder
DISCRETIZE2 - Static variable in class net.sf.bddbddb.FindBestDomainOrder
DISCRETIZE3 - Static variable in class net.sf.bddbddb.FindBestDomainOrder
distributionForInstance(Instance) - Method in class net.sf.bddbddb.order.BaggedId3
distributionForInstance(Instance) - Method in class net.sf.bddbddb.order.MyId3: Computes class distribution for instance using decision tree.
DMEAN_INDEX - Static variable in class net.sf.bddbddb.FindBestDomainOrder
doAssignment() - Method in class net.sf.bddbddb.ir.DomainAssignment
doAssignment() - Method in class net.sf.bddbddb.ir.PartialOrderDomainAssignment
doAssignment() - Method in class net.sf.bddbddb.ir.UFDomainAssignment
doCallbacks(Collection) - Method in class net.sf.bddbddb.Solver
Domain - Class in net.sf.bddbddb: A Domain represents a domain in bddbddb.
DOMAIN - Static variable in class net.sf.bddbddb.order.TrialPrediction
domain - Variable in class net.sf.bddbddb.Variable: Domain of variable.
DOMAIN_THRESHOLD - Static variable in class net.sf.bddbddb.FindBestDomainOrder
DomainAssignment - Class in net.sf.bddbddb.ir: DomainAssignment
DomainAssignment(Solver) - Constructor for class net.sf.bddbddb.ir.DomainAssignment
DomainAssignment(Solver, PartialOrder.Constraints[]) - Constructor for class net.sf.bddbddb.ir.DomainAssignment
domains - Variable in class net.sf.bddbddb.BDDRelation: List of BDDDomains that are used in this relation.
domClassWeight - Variable in class net.sf.bddbddb.FindBestDomainOrder
Dot - Class in net.sf.bddbddb: Dot
doTransitiveClosure() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints
doTransitiveClosure(Collection) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints
dsize() - Method in class net.sf.bddbddb.BDDRelation
dsize() - Method in class net.sf.bddbddb.LSRelation
dsize() - Method in class net.sf.bddbddb.Relation: Return the number of tuples in this relation, in double format.
dump() - Method in class net.sf.bddbddb.FindBestDomainOrder: Dump the collected order info for rules and relations to standard output.
dump() - Method in class net.sf.bddbddb.IterationList
dump(int) - Method in class net.sf.bddbddb.IterationList
dump() - Method in class net.sf.bddbddb.order.ConstraintInfo: Dump this constraint info to the screen.
DUMP_CLASSIFIER_INFO - Static variable in class net.sf.bddbddb.FindBestDomainOrder
dumpXML(String, Element) - Static method in class net.sf.bddbddb.XMLFactory
dumpXML(Writer, Element) - Static method in class net.sf.bddbddb.XMLFactory: Dumps the given element as an XML document to the given writer.
DynamicInterpreter - Interface in net.sf.bddbddb.ir.dynamic: DynamicInterpreter
DynamicOperation - Class in net.sf.bddbddb.ir.dynamic: DynamicOperation
DynamicOperation() - Constructor for class net.sf.bddbddb.ir.dynamic.DynamicOperation
DynamicOperationVisitor - Interface in net.sf.bddbddb.ir.dynamic: DynamicOperationVisitor

E

earliest - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy
element() - Method in interface net.sf.bddbddb.order.Queue: Retrieves, but does not remove, the head of this queue.
element() - Method in class net.sf.bddbddb.order.StackQueue
elementComparator - Static variable in class net.sf.bddbddb.order.OrderConstraint
elementsToString() - Method in class net.sf.bddbddb.Relation
enqueue(RelationGraph.GraphNode) - Method in class net.sf.bddbddb.Dot
ensureCapacity(Domain, long) - Method in class net.sf.bddbddb.BDDSolver
ensureCapacity(Domain, BigInteger) - Method in class net.sf.bddbddb.BDDSolver
enter(IterationList) - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator
entrySet() - Method in class net.sf.bddbddb.order.AttribToDomainMap
entrySet() - Method in class net.sf.bddbddb.order.VarToAttribMap
episode - Variable in class net.sf.bddbddb.order.TrialInfo: Collection that contains this trial.
EpisodeCollection - Class in net.sf.bddbddb.order: A collection of trials on the same test.
EpisodeCollection(BDDInferenceRule, int) - Constructor for class net.sf.bddbddb.order.EpisodeCollection: Construct a new collection of trials.
EpisodeCollection.Episode - Class in net.sf.bddbddb.order
EpisodeCollection.Episode(long) - Constructor for class net.sf.bddbddb.order.EpisodeCollection.Episode
episodeFromXMLElement(Element, Map, EpisodeCollection) - Static method in class net.sf.bddbddb.order.EpisodeCollection
equals(Object) - Method in class net.sf.bddbddb.dataflow.BitVectorFact
equals(Object) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact
equals(ConstantProp.ConstantPropFact) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact
equals(RelationProblem.RelationFacts) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFacts
equals(Object) - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact
equals(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints
equals(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact
equals(RelationProblem.RelationFacts) - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts
equals(Object) - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts
equals(Object) - Method in class net.sf.bddbddb.ir.Interpreter.RelationStats
equals(Order) - Method in class net.sf.bddbddb.order.Order
equals(Object) - Method in class net.sf.bddbddb.order.Order
equals(OrderConstraint) - Method in class net.sf.bddbddb.order.OrderConstraint
equals(Object) - Method in class net.sf.bddbddb.order.OrderConstraint
equals(Object) - Method in class net.sf.bddbddb.order.TrialInstance
equals(Object) - Method in class net.sf.bddbddb.order.UnorderedPair
err - Variable in class net.sf.bddbddb.DatalogParser
err - Static variable in class net.sf.bddbddb.Interactive
err - Variable in class net.sf.bddbddb.Solver
evalRelations(BDDFactory, BDD[], BDDVarSet[], long) - Method in class net.sf.bddbddb.BDDInferenceRule
evalRelationsIncremental(BDDFactory, BDD[], BDD[], BDDVarSet[]) - Method in class net.sf.bddbddb.BDDInferenceRule
execSolver(String[]) - Static method in class net.sf.bddbddb.Solver
expand() - Method in class net.sf.bddbddb.IterationFlowGraph
expand(boolean) - Method in class net.sf.bddbddb.IterationList
extract(BigInteger[], int) - Method in class net.sf.bddbddb.LSRelation: Extract packed value x into given array.

F

fact - Variable in class net.sf.bddbddb.dataflow.BitVectorFact
filter - Variable in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup
FilterTranslator - Class in net.sf.bddbddb.order: FilterTranslator
FilterTranslator(Collection) - Constructor for class net.sf.bddbddb.order.FilterTranslator
FindBestDomainOrder - Class in net.sf.bddbddb: FindBestDomainOrder Design: TrialInfo : order, cost EpisodeCollection : collection of TrialInfo, best time, worst time Constraint: a ConstraintInfo collection Rule -> ConstraintInfo collection EpisodeCollection -> ConstraintInfo collection Algorithm to compute best order: - Combine and sort single constraints from relation, rule, trials so far.
FindBestDomainOrder(Solver) - Constructor for class net.sf.bddbddb.FindBestDomainOrder: Construct a new empty FindBestDomainOrder object.
FindBestDomainOrder.ConstraintInfoCollection - Class in net.sf.bddbddb
FindBestDomainOrder.ConstraintInfoCollection(Solver) - Constructor for class net.sf.bddbddb.FindBestDomainOrder.ConstraintInfoCollection
FindBestDomainOrder.OrderInfo - Class in net.sf.bddbddb: Calculated information about an order.
FindBestDomainOrder.OrderInfo(Order, double, double) - Constructor for class net.sf.bddbddb.FindBestDomainOrder.OrderInfo: Construct a new OrderInfo.
FindBestDomainOrder.OrderInfo(FindBestDomainOrder.OrderInfo) - Constructor for class net.sf.bddbddb.FindBestDomainOrder.OrderInfo: Construct a new OrderInfo that is a clone of another.
FindBestDomainOrder.OrderSearchElem - Class in net.sf.bddbddb
FindBestDomainOrder.OrderSearchElem(FindBestDomainOrder.OrderSearchElem) - Constructor for class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem
FindBestDomainOrder.OrderSearchElem(double, double, OrderConstraintSet, int) - Constructor for class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem
findEarliest(Object) - Method in class net.sf.bddbddb.order.OrderConstraintSet: Find the earliest element in the order.
findEarliest(Object, Set) - Method in class net.sf.bddbddb.order.OrderConstraintSet: Find the earliest element in the order, other than the orders in the skip set.
findEpisodeCollection(BDDInferenceRule, int) - Method in class net.sf.bddbddb.FindBestDomainOrder
findJavac() - Static method in class net.sf.bddbddb.CodeFragment: Try to find where javac executable is installed.
findLongSimilarities(Order) - Method in class net.sf.bddbddb.order.Order: Return the collection of suborders that are similar between this order and the given order.
findNumBins(int) - Method in class net.sf.bddbddb.order.MyDiscretize: Finds the number of bins to use and creates the cut points.
findNumBinsTipText() - Method in class net.sf.bddbddb.order.MyDiscretize: Returns the tip text for this property
findWritablePath() - Static method in class net.sf.bddbddb.CodeFragment: Find a place for a temp file in classpath.
finish() - Method in class net.sf.bddbddb.BDDSolver
finish() - Method in class net.sf.bddbddb.LSSolver
finish() - Method in class net.sf.bddbddb.Solver: Called after solving.
forceConstraints(Relation) - Method in class net.sf.bddbddb.ir.DomainAssignment
forceRebuildNext() - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup
format(double) - Static method in class net.sf.bddbddb.FindBestDomainOrder: Format a double in a nice way.
format(double, int) - Static method in class net.sf.bddbddb.FindBestDomainOrder
free() - Method in class net.sf.bddbddb.BDDInferenceRule
free() - Method in class net.sf.bddbddb.BDDRelation
free() - Method in class net.sf.bddbddb.InferenceRule: Free the memory associated with this rule.
Free - Class in net.sf.bddbddb.ir.highlevel: Free
Free(Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Free
free() - Method in class net.sf.bddbddb.LSRelation
free() - Method in class net.sf.bddbddb.Relation: Free the memory associated with this relation.
fromXML(Element) - Method in class net.sf.bddbddb.XMLFactory
fromXMLElement(Element, XMLFactory) - Static method in class net.sf.bddbddb.Attribute
fromXMLElement(Element, Map) - Static method in class net.sf.bddbddb.FindBestDomainOrder.OrderInfo
fromXMLElement(Element, Solver) - Static method in class net.sf.bddbddb.InferenceRule
fromXMLElement(Element, XMLFactory) - Static method in class net.sf.bddbddb.order.ConstraintInfo
fromXMLElement(Element, Solver) - Static method in class net.sf.bddbddb.order.EpisodeCollection
fromXMLElement(Element, XMLFactory) - Static method in class net.sf.bddbddb.order.OrderConstraint
fromXMLElement(Element, Map, EpisodeCollection.Episode) - Static method in class net.sf.bddbddb.order.TrialInfo
fromXMLElement(Element, XMLFactory) - Static method in class net.sf.bddbddb.Relation
fromXMLElement(Element, Solver, Map) - Static method in class net.sf.bddbddb.RuleTerm
fromXMLElement(Element, XMLFactory) - Static method in class net.sf.bddbddb.Variable

G

GenConstant - Class in net.sf.bddbddb.ir.highlevel
GenConstant
GenConstant(Relation, Attribute, long) - Constructor for class net.sf.bddbddb.ir.highlevel.GenConstant

generateAllOrders(List) - Static method in class net.sf.bddbddb.FindBestDomainOrder
Generate all orders of a given list of variables.
generateAllOrders(Collection) - Method in class net.sf.bddbddb.order.OrderConstraintSet

generateAllOrders(Collection, Set) - Method in class net.sf.bddbddb.order.OrderConstraintSet

generateAllPairs(Collection) - Static method in class net.sf.bddbddb.order.WekaInterface

generateCandidateSet(InferenceRule, List, double[][], TrialDataRepository.TrialDataGroup, TrialDataRepository.TrialDataGroup, TrialDataRepository.TrialDataGroup, Collection, boolean) - Method in class net.sf.bddbddb.FindBestDomainOrder

generateIR() - Method in class net.sf.bddbddb.InferenceRule
Generate and return the IR that implements this rule.
generateIR_incremental() - Method in class net.sf.bddbddb.InferenceRule
Generate and return the IR that implements the incrementalized version of this rule.
generateRandomOrder(Collection) - Method in class net.sf.bddbddb.order.OrderConstraintSet

get(Object) - Method in class net.sf.bddbddb.order.AttribToDomainMap

get(int) - Method in class net.sf.bddbddb.order.Order

get(Object) - Method in class net.sf.bddbddb.order.VarToAttribMap

getAllConstraints() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

getAllInterleaveConstraints() - Method in class net.sf.bddbddb.order.Order
Get all interleave constraints of this order.
getAllNestedElements() - Method in class net.sf.bddbddb.IterationList

getAllPrecedenceConstraints() - Method in class net.sf.bddbddb.order.Order
Get all precedence constraints of this order.
getAttribCombos(Instances, double) - Method in class net.sf.bddbddb.order.MyId3

getAttribCombos(int, double) - Method in class net.sf.bddbddb.order.MyId3

getAttribDataGroup(InferenceRule, List) - Method in class net.sf.bddbddb.order.TrialDataRepository

getAttribNameMap() - Method in class net.sf.bddbddb.Relation

getAttribute(BDDDomain) - Method in class net.sf.bddbddb.BDDRelation
Get the attribute that is assigned to the given BDDDomain.
getAttribute(Variable) - Method in class net.sf.bddbddb.InferenceRule
Returns the attribute associated with the given variable.
getAttribute() - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

getAttribute() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

getAttribute(int) - Method in class net.sf.bddbddb.Relation
Get the attribute at the given index.
getAttribute(String) - Method in class net.sf.bddbddb.Relation
Get the attribute with the given name.
getAttribute(Variable) - Method in class net.sf.bddbddb.RuleTerm

getAttributes() - Method in class net.sf.bddbddb.ir.highlevel.Join

getAttributes() - Method in class net.sf.bddbddb.ir.highlevel.Project

getAttributes() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getAttributes() - Method in class net.sf.bddbddb.Relation
Returns the list of attributes of this relation.
getAttrLowerBound() - Method in class net.sf.bddbddb.order.TrialPrediction

getAttrUpperBound() - Method in class net.sf.bddbddb.order.TrialPrediction

getAverage() - Method in class net.sf.bddbddb.order.EpisodeCollection

getBaseDir() - Method in class net.sf.bddbddb.Solver
Get the base directory used for output.
getBaseName() - Method in class net.sf.bddbddb.BDDSolver

getBDD() - Method in class net.sf.bddbddb.BDDRelation
Return the value of this relation in BDD form.
getBDDDomain(int) - Method in class net.sf.bddbddb.BDDRelation
Get the BDDDomain with the given index.
getBDDDomain(Attribute) - Method in class net.sf.bddbddb.BDDRelation
Get the BDDDomain that matches the given attribute, or null if the attribute hasn't been assigned one yet.
getBDDDomain(Domain, int) - Method in class net.sf.bddbddb.BDDSolver
Get the k-th BDD domain allocated for a given domain.
getBDDDomain(String) - Method in class net.sf.bddbddb.BDDSolver
Get the BDD domain with the given name.
getBDDDomains() - Method in class net.sf.bddbddb.BDDRelation
Returns the list of BDD domains this relation is using.
getBDDDomains(Domain) - Method in class net.sf.bddbddb.BDDSolver
Get the set of BDD domains allocated for a given domain.
getBDDDomains() - Method in class net.sf.bddbddb.BDDSolver
Return the map of field domains to sets of allocated BDD domains.
getBDDFactory() - Method in class net.sf.bddbddb.BDDSolver
Get the BDD factory used by this solver.
getBDDOp() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

getBDDOp() - Method in class net.sf.bddbddb.ir.highlevel.Difference

getBDDOp() - Method in class net.sf.bddbddb.ir.highlevel.Join

getBDDOp() - Method in class net.sf.bddbddb.ir.highlevel.Union

getBeforeConstraints() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

getBins() - Method in class net.sf.bddbddb.order.MyDiscretize
Ignored
getBlock() - Method in class net.sf.bddbddb.ir.dynamic.If

getBoolDest() - Method in class net.sf.bddbddb.ir.dynamic.BooleanAssign

getBoolSrc() - Method in class net.sf.bddbddb.ir.dynamic.If

getBoundary() - Method in class net.sf.bddbddb.dataflow.ConstantProp

getBoundary() - Method in class net.sf.bddbddb.dataflow.CopyProp

getBoundary() - Method in class net.sf.bddbddb.dataflow.DefUse

getBoundary() - Method in class net.sf.bddbddb.dataflow.Liveness

getBoundary() - Method in class net.sf.bddbddb.dataflow.PartialOrder

getBoundary() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated

getBoundary() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Available

getBoundary() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest

getBoundary() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Latest

getBoundary() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed

getBoundary() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used

getBoundary() - Method in class net.sf.bddbddb.dataflow.Problem

getBoundary() - Method in class net.sf.bddbddb.dataflow.RelationProblem

getBucketMeans(Discretization, Discretization, Discretization) - Method in class net.sf.bddbddb.FindBestDomainOrder

getClassifier() - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

getCollection() - Method in class net.sf.bddbddb.order.TrialInfo

getCombos(double[][], int, int, int, int, double, double, double, double[][], double) - Method in class net.sf.bddbddb.FindBestDomainOrder

getComparisonRelations() - Method in class net.sf.bddbddb.Solver
Get all the equivalence relations.
getConfidenceInterval(double) - Method in class net.sf.bddbddb.order.ConstraintInfo
Returns the confidence interval of the normalized times with the given significance level.
getConstraint(int) - Method in class net.sf.bddbddb.order.WekaInterface.OrderAttribute

getConstraint(Instance) - Method in class net.sf.bddbddb.order.WekaInterface.OrderAttribute

getConstraints(Relation) - Method in class net.sf.bddbddb.dataflow.PartialOrder

getConstraints(Relation) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

getConstraints() - Method in class net.sf.bddbddb.order.Order
Return the collection of constraints in this order.
getConstraints() - Method in class net.sf.bddbddb.Relation
Returns the constraints.
getConstraintsMap() - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

getContainingList(IterationElement) - Method in class net.sf.bddbddb.IterationList

getCopy(Relation) - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact

getCost() - Method in class net.sf.bddbddb.order.TrialInstance

getCurrEpisode() - Method in class net.sf.bddbddb.order.EpisodeCollection

getData() - Method in class net.sf.bddbddb.order.BaggedId3

getData() - Method in class net.sf.bddbddb.order.ClassProbabilityEstimator

getDefs(Relation) - Method in class net.sf.bddbddb.dataflow.DefUse

getDiscretization() - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

getDomain() - Method in class net.sf.bddbddb.Attribute
Returns the domain of this attribute.
getDomain(String) - Method in class net.sf.bddbddb.Solver
Get the named domain.
getDomain() - Method in class net.sf.bddbddb.Variable
Get the domain of this variable.
getDomainDataGroup(InferenceRule, List) - Method in class net.sf.bddbddb.order.TrialDataRepository

getDomains() - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

getDomainSet() - Method in class net.sf.bddbddb.BDDRelation

getDomLowerBound() - Method in class net.sf.bddbddb.order.TrialPrediction

getDomUpperBound() - Method in class net.sf.bddbddb.order.TrialPrediction

getElement(String) - Method in class net.sf.bddbddb.IterationList

getElement(Element, XMLFactory) - Static method in class net.sf.bddbddb.order.OrderConstraint

getElements() - Method in class net.sf.bddbddb.IterationList

getEpisodeCollection() - Method in class net.sf.bddbddb.order.EpisodeCollection.Episode

getExpressions() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy

getExpressions(IterationList, int) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy

getExpressionString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

getExpressionString() - Method in class net.sf.bddbddb.ir.dynamic.If

getExpressionString() - Method in class net.sf.bddbddb.ir.dynamic.Nop

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Copy

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Free

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Invert

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Load

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Project

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Rename

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Save

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Universe

getExpressionString() - Method in class net.sf.bddbddb.ir.highlevel.Zero

getExpressionString() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getExpressionString() - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

getExpressionString() - Method in class net.sf.bddbddb.ir.lowlevel.Replace

getExpressionString() - Method in class net.sf.bddbddb.ir.Operation

getFact() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

getFact(IterationList) - Method in class net.sf.bddbddb.dataflow.DataflowSolver
Returns the dataflow information for a given block.
getFact(Operation) - Method in class net.sf.bddbddb.dataflow.OperationProblem

getFact(Relation) - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts
Returns the fact associated with a relation.
getFileName() - Method in class net.sf.bddbddb.ir.highlevel.Load

getFileName() - Method in class net.sf.bddbddb.ir.highlevel.Save

getFindNumBins() - Method in class net.sf.bddbddb.order.MyDiscretize
Get the value of FindNumBins.
getFirst() - Method in class net.sf.bddbddb.order.OrderConstraint

getFlattened() - Method in class net.sf.bddbddb.order.Order
Return the flattened version of this list.
getHead() - Method in class net.sf.bddbddb.InferenceRule
Returns the head term.
getIn(Operation) - Method in class net.sf.bddbddb.dataflow.CopyProp

getIn(Operation) - Method in class net.sf.bddbddb.dataflow.DefUse

getIn(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Available

getIn(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed

getInfo(OrderConstraint) - Method in class net.sf.bddbddb.FindBestDomainOrder.ConstraintInfoCollection

getInterleavedConstraints() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

getIterationElement(String) - Method in class net.sf.bddbddb.IterationFlowGraph

getIterationFlowGraph() - Method in class net.sf.bddbddb.Solver
Return the iteration flow graph.
getIterationList() - Method in class net.sf.bddbddb.IterationFlowGraph

getIterator(Problem, IterationFlowGraph) - Method in class net.sf.bddbddb.dataflow.DataflowSolver

getLeftAttribute() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

getLeftRelation() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

getLeftRelationAttrPair() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

getLineNumber() - Method in class net.sf.bddbddb.Solver.MyReader
Return the line number in the current reader.
getLocation() - Method in class net.sf.bddbddb.dataflow.BitVectorFact

getLocation() - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact

getLocation() - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact

getLocation() - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

getLocation() - Method in interface net.sf.bddbddb.dataflow.Problem.Fact

getLocation() - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

getLoopBool() - Method in class net.sf.bddbddb.IterationList

getLoopEdge() - Method in class net.sf.bddbddb.IterationList

getLoops() - Method in class net.sf.bddbddb.IterationFlowGraph

getMap() - Method in class net.sf.bddbddb.Domain
Return the map for this domain if it exists, null otherwise.
getMaximum() - Method in class net.sf.bddbddb.order.EpisodeCollection

getMean() - Method in class net.sf.bddbddb.order.ConstraintInfo
A measure of, when using an order with this constraint, how long the operation would take versus the best time for that operation.
getMinimum() - Method in class net.sf.bddbddb.order.EpisodeCollection

getMinimumCost() - Method in class net.sf.bddbddb.order.ConstraintInfo

getName() - Method in class net.sf.bddbddb.ir.dynamic.IRBoolean

getName() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

getName() - Method in class net.sf.bddbddb.ir.highlevel.Difference

getName() - Method in class net.sf.bddbddb.ir.highlevel.Join

getName() - Method in class net.sf.bddbddb.ir.highlevel.Union

getName() - Method in class net.sf.bddbddb.Variable

getNavigator() - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

getNavigator() - Method in class net.sf.bddbddb.RelationGraph

getNecessaryVariables() - Method in class net.sf.bddbddb.InferenceRule

getNegated() - Method in class net.sf.bddbddb.Relation
Return the negated form of this relation, or null if it does not exist.
getNewEpisode(BDDInferenceRule, int, long, boolean) - Method in class net.sf.bddbddb.FindBestDomainOrder
Starts a new trial collection and returns it.
getNodes() - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

getNumberOfOperations() - Static method in class net.sf.bddbddb.ir.Operation

getNumberOfRelations() - Method in class net.sf.bddbddb.ir.IR

getNumberOfRelations() - Method in class net.sf.bddbddb.Solver
Return the number of relations.
getNumberOfTrials() - Method in class net.sf.bddbddb.FindBestDomainOrder

getNumberOfTrials() - Method in class net.sf.bddbddb.order.ConstraintInfo
The number of trials used in the computation of the score.
getNumTrials() - Method in class net.sf.bddbddb.order.EpisodeCollection

getOp() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getOperation() - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact

getOperation() - Method in class net.sf.bddbddb.dataflow.DefUse.DefUseFact

getOperation() - Method in class net.sf.bddbddb.dataflow.Liveness.LivenessFact

getOperation() - Method in interface net.sf.bddbddb.dataflow.OperationProblem.OperationFact

getOperation() - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

getOpNumber() - Method in class net.sf.bddbddb.order.EpisodeCollection

getOpposite1() - Method in class net.sf.bddbddb.order.OrderConstraint.AfterConstraint

getOpposite1() - Method in class net.sf.bddbddb.order.OrderConstraint.BeforeConstraint

getOpposite1() - Method in class net.sf.bddbddb.order.OrderConstraint

getOpposite1() - Method in class net.sf.bddbddb.order.OrderConstraint.InterleaveConstraint

getOpposite2() - Method in class net.sf.bddbddb.order.OrderConstraint.AfterConstraint

getOpposite2() - Method in class net.sf.bddbddb.order.OrderConstraint.BeforeConstraint

getOpposite2() - Method in class net.sf.bddbddb.order.OrderConstraint

getOpposite2() - Method in class net.sf.bddbddb.order.OrderConstraint.InterleaveConstraint

getOptions() - Method in class net.sf.bddbddb.Attribute
Returns the options for this attribute.
getOptions() - Method in class net.sf.bddbddb.order.MyDiscretize
Gets the current settings of the filter.
getOrCreateInfo(OrderConstraint) - Method in class net.sf.bddbddb.FindBestDomainOrder.ConstraintInfoCollection

getOrder() - Method in class net.sf.bddbddb.order.TrialGuess

getOrder() - Method in class net.sf.bddbddb.order.WekaInterface.OrderInstance

getOrders() - Method in class net.sf.bddbddb.order.EpisodeCollection

getOut(Operation) - Method in class net.sf.bddbddb.dataflow.Liveness

getOut(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used

getPairing(Map) - Method in class net.sf.bddbddb.BDDSolver

getPairing() - Method in class net.sf.bddbddb.ir.lowlevel.Replace

getPrediction() - Method in class net.sf.bddbddb.order.TrialGuess

getPriority(Object) - Static method in class net.sf.bddbddb.Stratify

getProjectSet() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getReachingDefs(Relation) - Method in class net.sf.bddbddb.dataflow.DefUse.DefUseFact
Get the reaching defs for this relation.
getReachingDefs(Collection) - Method in class net.sf.bddbddb.dataflow.DefUse.DefUseFact
Get the reaching defs for this collection of relations.
getRelation() - Method in class net.sf.bddbddb.Attribute
Returns the relation that this attribute is associated with.
getRelation(String) - Method in class net.sf.bddbddb.ir.IR

getRelation(int) - Method in class net.sf.bddbddb.ir.IR

getRelation() - Method in class net.sf.bddbddb.RuleTerm

getRelation(String) - Method in class net.sf.bddbddb.Solver
Get the named relation.
getRelation(int) - Method in class net.sf.bddbddb.Solver
Get the relation with the given index.
getRelation(String) - Method in class net.sf.bddbddb.XMLFactory

getRelationDest() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

getRelationDest() - Method in class net.sf.bddbddb.ir.dynamic.If

getRelationDest() - Method in class net.sf.bddbddb.ir.dynamic.Nop

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Copy

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Free

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Invert

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Load

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Project

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Rename

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Save

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Universe

getRelationDest() - Method in class net.sf.bddbddb.ir.highlevel.Zero

getRelationDest() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getRelationDest() - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

getRelationDest() - Method in class net.sf.bddbddb.ir.lowlevel.Replace

getRelationDest() - Method in class net.sf.bddbddb.ir.Operation

getRelations() - Method in class net.sf.bddbddb.Solver

getRelationsToLoad() - Method in class net.sf.bddbddb.Solver
Return the collection of relations to load.
getRelationsToSave() - Method in class net.sf.bddbddb.Solver
Return the collection of relations to save.
getRelationToDefiningRule(Collection) - Static method in class net.sf.bddbddb.InferenceRule
Given a collection of rules, returns a multimap that maps relations to the rules that define that relation.
getRelationToUsingRule(Collection) - Static method in class net.sf.bddbddb.InferenceRule
Given a collection of rules, returns a multimap that maps relations to the rules that use that relation.
getRelevantConstraints(Collection) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

getRenameMap() - Method in class net.sf.bddbddb.ir.highlevel.Rename

getRenames(Operation) - Method in class net.sf.bddbddb.ir.IR

getRenames(BDDRelation, BDDRelation) - Static method in class net.sf.bddbddb.ir.Operation

getRepresentative() - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact

getRightAttribute() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

getRightRelation() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

getRightRelationAttrPair() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

getRoots() - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

getRoots() - Method in class net.sf.bddbddb.RelationGraph

getRule(Solver) - Method in class net.sf.bddbddb.order.EpisodeCollection

getRule(int) - Method in class net.sf.bddbddb.Solver
Returns the ith rule.
getRule(String) - Method in class net.sf.bddbddb.Solver
Returns the inference rule with the given name.
getRule(String) - Method in class net.sf.bddbddb.XMLFactory

getRules() - Method in class net.sf.bddbddb.Solver
Return the list of rules.
getRuleThatContains(Variable) - Method in class net.sf.bddbddb.Solver

getScore() - Method in class net.sf.bddbddb.order.TrialPrediction

getSecond() - Method in class net.sf.bddbddb.order.OrderConstraint

getSize() - Method in class net.sf.bddbddb.Domain
Returns the size of this domain.
getSolver() - Method in class net.sf.bddbddb.BDDRelation
Get the solver object.
getSorted() - Method in class net.sf.bddbddb.order.EpisodeCollection

getSrc() - Method in class net.sf.bddbddb.ir.highlevel.Copy

getSrc() - Method in class net.sf.bddbddb.ir.highlevel.Free

getSrc() - Method in class net.sf.bddbddb.ir.highlevel.Invert

getSrc() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

getSrc() - Method in class net.sf.bddbddb.ir.highlevel.Project

getSrc() - Method in class net.sf.bddbddb.ir.highlevel.Rename

getSrc() - Method in class net.sf.bddbddb.ir.highlevel.Save

getSrc() - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

getSrc() - Method in class net.sf.bddbddb.ir.lowlevel.Replace

getSrc1() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

getSrc1() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getSrc2() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

getSrc2() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getSrcs() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

getSrcs() - Method in class net.sf.bddbddb.ir.dynamic.If

getSrcs() - Method in class net.sf.bddbddb.ir.dynamic.Nop

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Copy

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Free

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Invert

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Load

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Project

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Rename

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Save

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Universe

getSrcs() - Method in class net.sf.bddbddb.ir.highlevel.Zero

getSrcs() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

getSrcs() - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

getSrcs() - Method in class net.sf.bddbddb.ir.lowlevel.Replace

getSrcs() - Method in class net.sf.bddbddb.ir.Operation

getStdDev() - Method in class net.sf.bddbddb.order.ConstraintInfo
The standard deviation of the normalized times used in the computation of the score.
getStdDev(Collection) - Static method in class net.sf.bddbddb.order.EpisodeCollection
Calculates the standard deviation of a collection of trials.
getStdDev() - Method in class net.sf.bddbddb.order.EpisodeCollection

getSubgoals() - Method in class net.sf.bddbddb.InferenceRule
Returns the list of subgoals.
getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.ConstantProp

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.CopyProp

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.DefUse

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.Liveness

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.PartialOrder

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Available

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Latest

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used

getTransferFunction(Operation) - Method in class net.sf.bddbddb.dataflow.Problem

getTrialInfo() - Method in class net.sf.bddbddb.order.TrialInstance

getTrialInstances() - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

getTrials() - Method in class net.sf.bddbddb.order.EpisodeCollection

getType() - Method in class net.sf.bddbddb.dataflow.PartialOrder.BeforeConstraint

getType() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

getType() - Method in class net.sf.bddbddb.dataflow.PartialOrder.InterleavedConstraint

getType() - Method in class net.sf.bddbddb.order.OrderConstraint.AfterConstraint

getType() - Method in class net.sf.bddbddb.order.OrderConstraint.BeforeConstraint

getType() - Method in class net.sf.bddbddb.order.OrderConstraint

getType() - Method in class net.sf.bddbddb.order.OrderConstraint.InterleaveConstraint

getType(OrderConstraint) - Static method in class net.sf.bddbddb.order.WekaInterface

getUnnecessaryVariables() - Method in class net.sf.bddbddb.InferenceRule

getUpdateCount() - Method in class net.sf.bddbddb.order.EpisodeCollection

getUsedRelations() - Method in class net.sf.bddbddb.Dot

getUseEqualFrequency() - Method in class net.sf.bddbddb.order.MyDiscretize
Get the value of UseEqualFrequency.
getUses(Relation) - Method in class net.sf.bddbddb.dataflow.DefUse

getValue() - Method in class net.sf.bddbddb.Constant
Returns the value of this constant.
getValue() - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

getValue() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

getVariable(String) - Method in class net.sf.bddbddb.InferenceRule
Returns the variable with the given name, or null if there is none.
getVariable(int) - Method in class net.sf.bddbddb.RuleTerm

getVariableDataGroup(InferenceRule, List) - Method in class net.sf.bddbddb.order.TrialDataRepository

getVariableIndex(Variable) - Method in class net.sf.bddbddb.RuleTerm

getVariables() - Method in class net.sf.bddbddb.InferenceRule

getVariables() - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup.VariableTrialDataGroup

getVariables() - Method in class net.sf.bddbddb.RuleTerm

getVariance(Collection) - Static method in class net.sf.bddbddb.order.ConstraintInfo

getVariance() - Method in class net.sf.bddbddb.order.ConstraintInfo
The variance of the normalized times used in the computation of the score.
getVariance(Collection) - Static method in class net.sf.bddbddb.order.EpisodeCollection
Calculates the variance of a collection of trials.
getVariance() - Method in class net.sf.bddbddb.order.EpisodeCollection

getVarLowerBound() - Method in class net.sf.bddbddb.order.TrialPrediction

getVarNameMap() - Method in class net.sf.bddbddb.InferenceRule

getVarUpperBound() - Method in class net.sf.bddbddb.order.TrialPrediction

getVisitedRules() - Method in class net.sf.bddbddb.FindBestDomainOrder

getWeightedMean() - Method in class net.sf.bddbddb.order.ConstraintInfo
The same as the score, but each trial is weighted by the absolute time spent by the best trial of that operation.
globalInfo() - Method in class net.sf.bddbddb.order.MyDiscretize
Returns a string describing this filter
globalInfo() - Method in class net.sf.bddbddb.order.MyId3
Returns a string describing the classifier.
graph - Variable in class net.sf.bddbddb.ir.IR

graphToOrder(boolean, PartialOrder.ConstraintGraph, UnionFindWithConstraints, MultiMap, Map) - Static method in class net.sf.bddbddb.ir.PartialOrderDomainAssignment

H

hashCode() - Method in class net.sf.bddbddb.dataflow.BitVectorFact

hashCode() - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact

hashCode() - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact

hashCode() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

hashCode() - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

hashCode() - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

hashCode() - Method in class net.sf.bddbddb.InferenceRule
The hashCode for rules is deterministic.
hashCode() - Method in class net.sf.bddbddb.ir.Interpreter.RelationStats

hashCode() - Method in class net.sf.bddbddb.order.Order

hashCode() - Method in class net.sf.bddbddb.order.OrderConstraint

hashCode() - Method in class net.sf.bddbddb.order.TrialInstance

hashCode() - Method in class net.sf.bddbddb.order.UnorderedPair
Returns the hash code value for this set.
hashCode() - Method in class net.sf.bddbddb.Relation
The hashCode for relations is deterministic.
hasNext() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

hasNext() - Method in class net.sf.bddbddb.dataflow.DefUse.OperationIterator

hasNext() - Method in class net.sf.bddbddb.order.OrderIterator

hasOrdersToTry(List, BDDInferenceRule) - Method in class net.sf.bddbddb.FindBestDomainOrder

hasPredecessor(Object, Collection) - Method in class net.sf.bddbddb.order.OrderConstraintSet

hasPrevious() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

HIGH - Static variable in class net.sf.bddbddb.order.TrialPrediction

HighLevelInterpreter - Interface in net.sf.bddbddb.ir.highlevel
HighLevelInterpreter
HighLevelOperation - Class in net.sf.bddbddb.ir.highlevel
HighLevelOperation
HighLevelOperation() - Constructor for class net.sf.bddbddb.ir.highlevel.HighLevelOperation

HighLevelOperationVisitor - Interface in net.sf.bddbddb.ir.highlevel
HighLevelOperationVisitor

I

id - Variable in class net.sf.bddbddb.InferenceRule
Unique id number for this rule.
id - Variable in class net.sf.bddbddb.ir.Operation
Unique ID number for this operation.
id - Variable in class net.sf.bddbddb.Relation
Unique id number for this relation.
IdentityTranslator - Class in net.sf.bddbddb.order
The identity translation.
IdentityTranslator() - Constructor for class net.sf.bddbddb.order.IdentityTranslator

If - Class in net.sf.bddbddb.ir.dynamic
If
If(IRBoolean, IterationList) - Constructor for class net.sf.bddbddb.ir.dynamic.If

IGNORE_OUTPUT - Static variable in class net.sf.bddbddb.Interactive

in - Static variable in class net.sf.bddbddb.Interactive

indexOf(IterationElement) - Method in class net.sf.bddbddb.IterationList

indexOf(Object) - Method in class net.sf.bddbddb.order.Order

InferenceRule - Class in net.sf.bddbddb
An InferenceRule represents a single Datalog rule.
InferenceRule(Solver, List, RuleTerm) - Constructor for class net.sf.bddbddb.InferenceRule
Construct a new inference rule.
InferenceRule(Solver, List, RuleTerm, int) - Constructor for class net.sf.bddbddb.InferenceRule

InferenceRule.DependenceNavigator - Class in net.sf.bddbddb
A navigator that can navigate over rule dependencies.
InferenceRule.DependenceNavigator(Collection) - Constructor for class net.sf.bddbddb.InferenceRule.DependenceNavigator
Construct a new DependenceNavigator using the given collection of rules.
InferenceRule.DependenceNavigator(InferenceRule.DependenceNavigator) - Constructor for class net.sf.bddbddb.InferenceRule.DependenceNavigator
Construct a new DependenceNavigator that is a copy of another DependenceNavigator.
infoClone() - Method in class net.sf.bddbddb.order.TrialInstances

INITIAL_ATTRIB_SET - Static variable in class net.sf.bddbddb.FindBestDomainOrder

INITIAL_DOM_SET - Static variable in class net.sf.bddbddb.FindBestDomainOrder

INITIAL_VAR_SET - Static variable in class net.sf.bddbddb.FindBestDomainOrder

initialize() - Method in class net.sf.bddbddb.BDDRelation

initialize() - Method in class net.sf.bddbddb.BDDSolver

initialize() - Method in class net.sf.bddbddb.dataflow.OperationProblem

initialize(IterationList) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy

initialize() - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

initialize() - Method in class net.sf.bddbddb.LSRelation

initialize() - Method in class net.sf.bddbddb.Relation
Initialize this relation.
initialize() - Method in class net.sf.bddbddb.Solver
Initialize all of the relations and rules.
initialize2() - Method in class net.sf.bddbddb.BDDRelation
Do more initialization.
initialize2() - Method in class net.sf.bddbddb.BDDSolver
Initialize the values of equivalence relations.
innerSccs - Variable in class net.sf.bddbddb.Stratify

INSTANCE - Static variable in class net.sf.bddbddb.order.AttribToDomainTranslator

INSTANCE - Static variable in class net.sf.bddbddb.order.IdentityTranslator
Singleton instance.
Interactive - Class in net.sf.bddbddb
Command-line interactive bddbddb solver.
Interactive(Solver) - Constructor for class net.sf.bddbddb.Interactive
Construct a new interactive solver.
interactive() - Method in class net.sf.bddbddb.Interactive
Invoke the interactive solver.
INTERLEAVE - Static variable in class net.sf.bddbddb.order.WekaInterface

INTERLEAVE_WEIGHT - Static variable in class net.sf.bddbddb.order.Order

INTERLEAVED - Static variable in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

interpret() - Method in class net.sf.bddbddb.ir.BDDInterpreter

interpret(IterationList) - Method in class net.sf.bddbddb.ir.BDDInterpreter

interpret() - Method in class net.sf.bddbddb.ir.Interpreter

Interpreter - Class in net.sf.bddbddb.ir
Interpreter
Interpreter() - Constructor for class net.sf.bddbddb.ir.Interpreter

Interpreter.LoopStats - Class in net.sf.bddbddb.ir

Interpreter.LoopStats() - Constructor for class net.sf.bddbddb.ir.Interpreter.LoopStats

Interpreter.RelationStats - Class in net.sf.bddbddb.ir

Interpreter.RelationStats() - Constructor for class net.sf.bddbddb.ir.Interpreter.RelationStats

Invert - Class in net.sf.bddbddb.ir.highlevel
Invert
Invert(Relation, Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Invert

invoke(InferenceRule, BDD) - Method in class net.sf.bddbddb.CodeFragment

invoke(Relation, BDD) - Method in class net.sf.bddbddb.CodeFragment

ir - Variable in class net.sf.bddbddb.dataflow.Liveness

IR - Class in net.sf.bddbddb.ir
Intermediate representation.
IRBoolean - Class in net.sf.bddbddb.ir.dynamic
IRBoolean
IRBoolean(String, boolean) - Constructor for class net.sf.bddbddb.ir.dynamic.IRBoolean

IRPass - Interface in net.sf.bddbddb.dataflow

isAlive(Relation) - Method in class net.sf.bddbddb.dataflow.Liveness.LivenessFact

isAttributeConstraint() - Method in class net.sf.bddbddb.order.OrderConstraint

isBeforeConstraint() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

isCycle(List) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

isEmpty() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

isEmpty() - Method in class net.sf.bddbddb.IterationList

isEmpty() - Method in class net.sf.bddbddb.order.Order

isInterleavedConstraint() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

isLoop() - Method in class net.sf.bddbddb.IterationList

isMax() - Method in class net.sf.bddbddb.order.TrialInfo

isMaxTime() - Method in class net.sf.bddbddb.order.TrialInstance

isOpposite(OrderConstraint) - Method in class net.sf.bddbddb.order.OrderConstraint.AfterConstraint

isOpposite(OrderConstraint) - Method in class net.sf.bddbddb.order.OrderConstraint.BeforeConstraint

isOpposite(OrderConstraint) - Method in class net.sf.bddbddb.order.OrderConstraint.InterleaveConstraint

isOpposite(OrderConstraint) - Method in class net.sf.bddbddb.order.OrderConstraint

isPath(Object, Object, List) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

isTuples() - Method in class net.sf.bddbddb.ir.highlevel.Load

isTuples() - Method in class net.sf.bddbddb.ir.highlevel.Save

isVariableConstraint() - Method in class net.sf.bddbddb.order.OrderConstraint

IterationElement - Interface in net.sf.bddbddb
IterationElement
IterationFlowGraph - Class in net.sf.bddbddb
IterationFlowGraph
IterationFlowGraph(List, Stratify) - Constructor for class net.sf.bddbddb.IterationFlowGraph

IterationFlowGraph(List, List, Map) - Constructor for class net.sf.bddbddb.IterationFlowGraph

IterationList - Class in net.sf.bddbddb
IterationList
IterationList(boolean) - Constructor for class net.sf.bddbddb.IterationList

IterationList(boolean, List) - Constructor for class net.sf.bddbddb.IterationList

iterator() - Method in class net.sf.bddbddb.BDDRelation

iterator(int) - Method in class net.sf.bddbddb.BDDRelation

iterator(int, BigInteger) - Method in class net.sf.bddbddb.BDDRelation

iterator(BigInteger[]) - Method in class net.sf.bddbddb.BDDRelation

iterator() - Method in class net.sf.bddbddb.dataflow.DefUse.OperationSet

iterator() - Method in class net.sf.bddbddb.IterationList

iterator() - Method in class net.sf.bddbddb.LSRelation

iterator(int) - Method in class net.sf.bddbddb.LSRelation

iterator(int, BigInteger) - Method in class net.sf.bddbddb.LSRelation

iterator(BigInteger[]) - Method in class net.sf.bddbddb.LSRelation

iterator() - Method in class net.sf.bddbddb.order.Order

iterator() - Method in class net.sf.bddbddb.Relation
Return an iterator over the tuples of this relation.
iterator(int) - Method in class net.sf.bddbddb.Relation
Return an iterator over the values in the kth field of the relation.
iterator(int, BigInteger) - Method in class net.sf.bddbddb.Relation
Return an iterator over the tuples where the kth field has value j.
iterator(BigInteger[]) - Method in class net.sf.bddbddb.Relation
Return an iterator over the tuples where the fields match the values in the given array.

J

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFacts

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.Liveness.LivenessFact

join(PartialOrder.Constraints) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated.AnticipatedFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Available.AvailableFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest.EarliestFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Latest.LatestFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed.PostponedFact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used.UsedFact

join(Problem.Fact) - Method in interface net.sf.bddbddb.dataflow.Problem.Fact

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

join(Problem.Fact) - Method in class net.sf.bddbddb.dataflow.UnionBitVectorFact

Join - Class in net.sf.bddbddb.ir.highlevel
Join
Join(Relation, Relation, Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Join

join(Interpreter.RelationStats) - Method in class net.sf.bddbddb.ir.Interpreter.RelationStats

JoinConstant - Class in net.sf.bddbddb.ir.highlevel
JoinConstant
JoinConstant(Relation, Relation, Attribute, long) - Constructor for class net.sf.bddbddb.ir.highlevel.JoinConstant

L

laplaceSmooth(double[], double, int) - Method in class net.sf.bddbddb.order.MyId3

lastIndexOf(Object) - Method in class net.sf.bddbddb.order.Order

latest - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy

leaveOneOutCV(Instances, String) - Static method in class net.sf.bddbddb.order.WekaInterface

listIterator() - Method in class net.sf.bddbddb.order.Order

listIterator(int) - Method in class net.sf.bddbddb.order.Order

listOptions() - Method in class net.sf.bddbddb.order.MyDiscretize
Gets an enumeration describing the available options.
Liveness - Class in net.sf.bddbddb.dataflow

Liveness(IR) - Constructor for class net.sf.bddbddb.dataflow.Liveness

Liveness.LivenessFact - Class in net.sf.bddbddb.dataflow

Liveness.LivenessFact(BitString) - Constructor for class net.sf.bddbddb.dataflow.Liveness.LivenessFact

Liveness.LivenessFact(int) - Constructor for class net.sf.bddbddb.dataflow.Liveness.LivenessFact

Liveness.LivenessTF - Class in net.sf.bddbddb.dataflow

Liveness.LivenessTF(Operation) - Constructor for class net.sf.bddbddb.dataflow.Liveness.LivenessTF

load() - Method in class net.sf.bddbddb.BDDRelation

load(String) - Method in class net.sf.bddbddb.BDDRelation
Load this relation from the given file.
Load - Class in net.sf.bddbddb.ir.highlevel
Load
Load(Relation, String, boolean) - Constructor for class net.sf.bddbddb.ir.highlevel.Load

load() - Method in class net.sf.bddbddb.LSRelation

load() - Method in class net.sf.bddbddb.Relation
Load this relation from disk in its native format.
load(String) - Method in class net.sf.bddbddb.Solver

load(Solver.MyReader) - Method in class net.sf.bddbddb.Solver

loadDomainAssignment(BufferedReader) - Method in class net.sf.bddbddb.ir.DomainAssignment

loadMap(BufferedReader) - Method in class net.sf.bddbddb.Domain
Load the string map for this domain.
loadTuples() - Method in class net.sf.bddbddb.BDDRelation

loadTuples(String) - Method in class net.sf.bddbddb.BDDRelation

loadTuples() - Method in class net.sf.bddbddb.LSRelation

loadTuples(String) - Method in class net.sf.bddbddb.LSRelation

loadTuples() - Method in class net.sf.bddbddb.Relation
Load the tuple form of this relation from disk.
loadTuples(String) - Method in class net.sf.bddbddb.Relation
Load this relation in tuple form from the given file.
localVariance(Collection, TrialInstances, TrialInstances, TrialInstances, InferenceRule) - Method in class net.sf.bddbddb.order.CandidateSampler.LocalVarianceSampler

LONG_TIME - Static variable in class net.sf.bddbddb.BDDInferenceRule

LOW - Static variable in class net.sf.bddbddb.order.TrialPrediction

LowLevelInterpreter - Interface in net.sf.bddbddb.ir.lowlevel
LowLevelInterpreter
LowLevelOperation - Class in net.sf.bddbddb.ir.lowlevel
LowLevelOperation
LowLevelOperation() - Constructor for class net.sf.bddbddb.ir.lowlevel.LowLevelOperation

LowLevelOperationVisitor - Interface in net.sf.bddbddb.ir.lowlevel
LowLevelOperationVisitor
LSInferenceRule - Class in net.sf.bddbddb
LSInferenceRule
LSInferenceRule(Solver, List, RuleTerm) - Constructor for class net.sf.bddbddb.LSInferenceRule

LSInferenceRule(Solver, List, RuleTerm, int) - Constructor for class net.sf.bddbddb.LSInferenceRule

LSRelation - Class in net.sf.bddbddb
LSRelation
LSRelation.TupleComparator - Class in net.sf.bddbddb

LSSolver - Class in net.sf.bddbddb
LSSolver
LSSolver() - Constructor for class net.sf.bddbddb.LSSolver

M

main(String[]) - Static method in class net.sf.bddbddb.BuildEquivalenceRelation

main(String[]) - Static method in class net.sf.bddbddb.FindBestDomainOrder

main(String[]) - Static method in class net.sf.bddbddb.Interactive
The entry point of the application.
main(String[]) - Static method in class net.sf.bddbddb.order.MyDiscretize
Main method for testing this class.
main(String[]) - Static method in class net.sf.bddbddb.order.MyId3
Main method.
main(String[]) - Static method in class net.sf.bddbddb.order.OrderConstraintSet

main(String[]) - Static method in class net.sf.bddbddb.Solver
Replacement main() function that checks if we have the BDD library in the classpath.
main(String[]) - Static method in class net.sf.bddbddb.SolverGUI

main(String[]) - Static method in class net.sf.bddbddb.TryDomainOrders

main2(String[]) - Static method in class net.sf.bddbddb.Solver
The entry point to the application.
makeBucketAttribute(int) - Static method in class net.sf.bddbddb.order.WekaInterface

makeConstraint(int, Object, Object) - Static method in class net.sf.bddbddb.order.OrderConstraint

makeDomainsMatch(BDD, BDDRelation, BDDRelation) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

makeDomainsMatch(BDD, BDD, BDDRelation, BDDRelation, BDDRelation) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

makeInterleaveConstraint(Object, Object) - Static method in class net.sf.bddbddb.order.OrderConstraint

makeNegated(Solver) - Method in class net.sf.bddbddb.Relation
Get or create the negated form of this relation.
makeOrderAttribute(OrderConstraint) - Static method in class net.sf.bddbddb.order.WekaInterface

makeOrderAttribute(Object, Object) - Static method in class net.sf.bddbddb.order.WekaInterface

makePrecedenceConstraint(Object, Object) - Static method in class net.sf.bddbddb.order.OrderConstraint

map - Variable in class net.sf.bddbddb.Domain
Optional map from element numbers to string representations.
MapBasedTranslator - Class in net.sf.bddbddb.order
Translator based on a map.
MapBasedTranslator(Map) - Constructor for class net.sf.bddbddb.order.MapBasedTranslator

MapBasedTranslator(InferenceRule, Relation, boolean) - Constructor for class net.sf.bddbddb.order.MapBasedTranslator
direction == true means map from rule to relation.
MapBasedTranslator(RuleTerm, boolean) - Constructor for class net.sf.bddbddb.order.MapBasedTranslator
direction == true means map from ruleterm to relation.
mapOpsToExpressions(IterationList) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy

MAX_FBO_TRIALS - Static variable in class net.sf.bddbddb.BDDInferenceRule

MyDiscretize - Class in net.sf.bddbddb.order
Discretizes numeric attributes using equal frequency binning where the number of bins is equal to the square root of the number of non-missing values.
MyDiscretize() - Constructor for class net.sf.bddbddb.order.MyDiscretize

MyDiscretize(double) - Constructor for class net.sf.bddbddb.order.MyDiscretize

MyId3 - Class in net.sf.bddbddb.order
Class implementing an Id3 decision tree classifier.
MyId3() - Constructor for class net.sf.bddbddb.order.MyId3

N

name - Variable in class net.sf.bddbddb.Domain
Name of domain.
name - Variable in class net.sf.bddbddb.order.EpisodeCollection
Name of the test.
name - Variable in class net.sf.bddbddb.Relation
Name of this relation.
name - Variable in class net.sf.bddbddb.Variable
Name of variable.
namedConstant(String) - Method in class net.sf.bddbddb.Domain
Returns the index of the given named constant in this domain.
necessaryVariables - Variable in class net.sf.bddbddb.InferenceRule
Set of variables that are necessary.
needsDomainMatch - Variable in class net.sf.bddbddb.ir.BDDOperationInterpreter

negated - Variable in class net.sf.bddbddb.Relation
Negated form of this relation, or null if it doesn't exist.
net.sf.bddbddb - package net.sf.bddbddb

net.sf.bddbddb.dataflow - package net.sf.bddbddb.dataflow

net.sf.bddbddb.ir - package net.sf.bddbddb.ir

net.sf.bddbddb.ir.dynamic - package net.sf.bddbddb.ir.dynamic

net.sf.bddbddb.ir.highlevel - package net.sf.bddbddb.ir.highlevel

net.sf.bddbddb.ir.lowlevel - package net.sf.bddbddb.ir.lowlevel

net.sf.bddbddb.order - package net.sf.bddbddb.order

neverTryAgain(InferenceRule, Order) - Method in class net.sf.bddbddb.FindBestDomainOrder

next() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

next() - Method in class net.sf.bddbddb.dataflow.DefUse.OperationIterator

next(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph.ConstraintNavigator

next(Object) - Method in class net.sf.bddbddb.InferenceRule.DependenceNavigator

next() - Method in class net.sf.bddbddb.order.OrderIterator

next() - Method in class net.sf.bddbddb.TupleIterator

nextIndex() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

nextOrder() - Method in class net.sf.bddbddb.order.OrderIterator

nextRule - Variable in class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem

nextTuple() - Method in class net.sf.bddbddb.TupleIterator

NO_CLASS - Static variable in class net.sf.bddbddb.FindBestDomainOrder

NO_CLASS_SCORE - Static variable in class net.sf.bddbddb.FindBestDomainOrder

nodeName(RelationGraph.GraphNode) - Method in class net.sf.bddbddb.Dot

Nop - Class in net.sf.bddbddb.ir.dynamic
No operation.
Nop() - Constructor for class net.sf.bddbddb.ir.dynamic.Nop

NUM_CV_FOLDS - Static variable in class net.sf.bddbddb.FindBestDomainOrder

NUM_TREES - Static variable in class net.sf.bddbddb.order.BaggedId3

NumberingRule - Class in net.sf.bddbddb
This class represents a special kind of rule used for numbering paths.
numberOfAttributes() - Method in class net.sf.bddbddb.Relation
Returns the number of attributes.
numberOfElements() - Method in class net.sf.bddbddb.order.Order
Returns the number of elements in this order.
numberOfVariables() - Method in class net.sf.bddbddb.InferenceRule

numberOfVariables() - Method in class net.sf.bddbddb.RuleTerm

numInterleaveConstraints() - Method in class net.sf.bddbddb.order.Order
Get the number of interleave constraints in this order.
numPrecedenceConstraints() - Method in class net.sf.bddbddb.order.Order
Get the number of precedence constraints in this order.

O

o - Variable in class net.sf.bddbddb.order.WekaInterface.OrderInstance

obeyedBy(Order) - Method in class net.sf.bddbddb.order.OrderConstraint

obeysConstraint(OrderConstraint) - Method in class net.sf.bddbddb.order.Order
Returns true if this order obeys the given constraint.
ocs - Variable in class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem

offer(Object) - Method in interface net.sf.bddbddb.order.Queue
Inserts the specified element into this queue, if possible.
offer(Object) - Method in class net.sf.bddbddb.order.StackQueue

oldRelationValues - Variable in class net.sf.bddbddb.BDDInferenceRule
Values for subgoals, used for incrementalization.
onlyOneOrder(int) - Method in class net.sf.bddbddb.order.OrderConstraintSet

OP_CONST - Static variable in class net.sf.bddbddb.order.EpisodeCollection

Operation - Class in net.sf.bddbddb.ir
Operation
Operation() - Constructor for class net.sf.bddbddb.ir.Operation

OperationInterpreter - Interface in net.sf.bddbddb.ir
OperationInterpreter
OperationProblem - Class in net.sf.bddbddb.dataflow
RelationProblem
OperationProblem() - Constructor for class net.sf.bddbddb.dataflow.OperationProblem

OperationProblem.OperationFact - Interface in net.sf.bddbddb.dataflow

OperationProblem.OperationTransferFunction - Class in net.sf.bddbddb.dataflow

OperationProblem.OperationTransferFunction() - Constructor for class net.sf.bddbddb.dataflow.OperationProblem.OperationTransferFunction

OperationVisitor - Interface in net.sf.bddbddb.ir
OperationVisitor
opOuts - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy.Used

optimize() - Method in class net.sf.bddbddb.ir.IR

Order - Class in net.sf.bddbddb.order
Represents an order.
Order(Order) - Constructor for class net.sf.bddbddb.order.Order
Construct a new Order that is a copy of the given Order.
Order(List) - Constructor for class net.sf.bddbddb.order.Order
Construct a new Order from the given list.
order - Variable in class net.sf.bddbddb.order.TrialGuess

order - Variable in class net.sf.bddbddb.order.TrialInfo
Order tried.
OrderConstraint - Class in net.sf.bddbddb.order
OrderConstraint
OrderConstraint(Object, Object) - Constructor for class net.sf.bddbddb.order.OrderConstraint

OrderConstraint.AfterConstraint - Class in net.sf.bddbddb.order

OrderConstraint.BeforeConstraint - Class in net.sf.bddbddb.order

OrderConstraint.InterleaveConstraint - Class in net.sf.bddbddb.order

OrderConstraintSet - Class in net.sf.bddbddb.order
OrderConstraintSet
OrderConstraintSet() - Constructor for class net.sf.bddbddb.order.OrderConstraintSet

OrderConstraintSet(OrderConstraintSet) - Constructor for class net.sf.bddbddb.order.OrderConstraintSet

OrderIterator - Class in net.sf.bddbddb.order
Iterate through all possible orders of a given list.
OrderIterator(List) - Constructor for class net.sf.bddbddb.order.OrderIterator

OrderTranslator - Interface in net.sf.bddbddb.order
Translate from one order to another.
OrderTranslator.Compose - Class in net.sf.bddbddb.order

OrderTranslator.Compose(OrderTranslator, OrderTranslator) - Constructor for class net.sf.bddbddb.order.OrderTranslator.Compose

out - Variable in class net.sf.bddbddb.DatalogParser
Trace output stream.
out - Static variable in class net.sf.bddbddb.FindBestDomainOrder

out - Static variable in class net.sf.bddbddb.Interactive

out - Variable in class net.sf.bddbddb.RelationGraph
Trace output stream.
out - Variable in class net.sf.bddbddb.Solver
Trace output stream.
out_t - Static variable in class net.sf.bddbddb.FindBestDomainOrder

P

parse(String, Map) - Static method in class net.sf.bddbddb.order.Order
Parse an order from a string.
parseAndAddConstraint(Relation, Matcher) - Method in class net.sf.bddbddb.DatalogParser
Parse and add an attribute constraint.
parser - Variable in class net.sf.bddbddb.Interactive
Datalog parser.
PartialOrder - Class in net.sf.bddbddb.dataflow
Partial order.
PartialOrder(IR) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder

PartialOrder.BeforeConstraint - Class in net.sf.bddbddb.dataflow

PartialOrder.BeforeConstraint(Relation, Attribute, Relation, Attribute) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.BeforeConstraint

PartialOrder.BeforeConstraint(Relation, Attribute, Relation, Attribute, double) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.BeforeConstraint

PartialOrder.Constraint - Class in net.sf.bddbddb.dataflow

PartialOrder.Constraint(Relation, Attribute, Relation, Attribute, double) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.Constraint

PartialOrder.Constraint(Relation, Attribute, Relation, Attribute) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.Constraint

PartialOrder.ConstraintGraph - Class in net.sf.bddbddb.dataflow

PartialOrder.ConstraintGraph() - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

PartialOrder.ConstraintGraph(PartialOrder.ConstraintGraph) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

PartialOrder.ConstraintGraph(Collection) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

PartialOrder.ConstraintGraph(Collection, Collection) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

PartialOrder.ConstraintGraph.ConstraintNavigator - Class in net.sf.bddbddb.dataflow

PartialOrder.ConstraintGraph.ConstraintNavigator() - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph.ConstraintNavigator

PartialOrder.Constraints - Class in net.sf.bddbddb.dataflow

PartialOrder.Constraints() - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.Constraints

PartialOrder.Constraints(SortedSet) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.Constraints

PartialOrder.InterleavedConstraint - Class in net.sf.bddbddb.dataflow

PartialOrder.InterleavedConstraint(Relation, Attribute, Relation, Attribute) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.InterleavedConstraint

PartialOrder.InterleavedConstraint(Relation, Attribute, Relation, Attribute, double) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.InterleavedConstraint

PartialOrder.PartialOrderFact - Class in net.sf.bddbddb.dataflow

PartialOrder.PartialOrderFact() - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

PartialOrder.PartialOrderTF - Class in net.sf.bddbddb.dataflow

PartialOrder.PartialOrderTF(Operation) - Constructor for class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

PartialOrderDomainAssignment - Class in net.sf.bddbddb.ir
PartialOrderDomainAssignment
PartialOrderDomainAssignment(Solver, PartialOrder.Constraints[]) - Constructor for class net.sf.bddbddb.ir.PartialOrderDomainAssignment

PartialRedundancy - Class in net.sf.bddbddb.dataflow
Partial redundancy elimination.
PartialRedundancy(IR) - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy

PartialRedundancy.Anticipated - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Anticipated() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated

PartialRedundancy.Anticipated.AnticipatedFact - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Anticipated.AnticipatedFact() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated.AnticipatedFact

PartialRedundancy.Available - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Available() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Available

PartialRedundancy.Available.AvailableFact - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Available.AvailableFact() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Available.AvailableFact

PartialRedundancy.Earliest - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Earliest() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest

PartialRedundancy.Earliest.EarliestFact - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Earliest.EarliestFact() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest.EarliestFact

PartialRedundancy.Earliest.EarliestTF - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Earliest.EarliestTF(Operation) - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest.EarliestTF

PartialRedundancy.Latest - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Latest() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Latest

PartialRedundancy.Latest.LatestFact - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Latest.LatestFact() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Latest.LatestFact

PartialRedundancy.Latest.LatestTF - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Latest.LatestTF(Operation) - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Latest.LatestTF

PartialRedundancy.Phi - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Phi(Relation, Collection) - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

PartialRedundancy.Postponed - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Postponed() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed

PartialRedundancy.Postponed.PostponedFact - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Postponed.PostponedFact() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed.PostponedFact

PartialRedundancy.Used - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Used() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Used

PartialRedundancy.Used.UsedFact - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Used.UsedFact() - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Used.UsedFact

PartialRedundancy.Used.UsedTF - Class in net.sf.bddbddb.dataflow

PartialRedundancy.Used.UsedTF(Operation) - Constructor for class net.sf.bddbddb.dataflow.PartialRedundancy.Used.UsedTF

pathCost - Variable in class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem

pathScore - Variable in class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem

peek() - Method in interface net.sf.bddbddb.order.Queue
Retrieves, but does not remove, the head of this queue, returning null if this queue is empty.
PER_RULE_CONSTRAINTS - Static variable in class net.sf.bddbddb.FindBestDomainOrder
Whether we should keep track of per-rule constraints, in addition to global constraints.
poll() - Method in interface net.sf.bddbddb.order.Queue
Retrieves and removes the head of this queue, or null if this queue is empty.
poll() - Method in class net.sf.bddbddb.order.StackQueue

postponed - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy

PRECEDENCE_WEIGHT - Static variable in class net.sf.bddbddb.order.Order

pred - Variable in class net.sf.bddbddb.order.TrialInfo
The predicted results for this trial.
predict(Order, OrderTranslator) - Method in class net.sf.bddbddb.FindBestDomainOrder.ConstraintInfoCollection

predict(Order, OrderTranslator) - Method in class net.sf.bddbddb.FindBestDomainOrder

prediction - Variable in class net.sf.bddbddb.order.TrialGuess

PREDICTION_VAR1 - Static variable in class net.sf.bddbddb.order.TrialInfo

PREDICTION_VAR2 - Static variable in class net.sf.bddbddb.order.TrialInfo

predictions - Variable in class net.sf.bddbddb.order.TrialPrediction

prev(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph.ConstraintNavigator

prev(Object) - Method in class net.sf.bddbddb.InferenceRule.DependenceNavigator

previous() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

previousIndex() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

printBestBDDOrders() - Method in class net.sf.bddbddb.FindBestDomainOrder

printBestTrials() - Method in class net.sf.bddbddb.FindBestDomainOrder

printHelp() - Static method in class net.sf.bddbddb.Interactive

printIR() - Method in class net.sf.bddbddb.ir.IR

printIR(IterationList, String) - Method in class net.sf.bddbddb.ir.IR

printOperationMap(Map) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy

printTrialsDistro() - Method in class net.sf.bddbddb.FindBestDomainOrder

printTrialsDistro(Collection, Solver) - Static method in class net.sf.bddbddb.FindBestDomainOrder

printUsage() - Static method in class net.sf.bddbddb.Solver
Print usage information.
PROBABILITY - Variable in class net.sf.bddbddb.FindBestDomainOrder

Problem - Class in net.sf.bddbddb.dataflow
Problem
Problem() - Constructor for class net.sf.bddbddb.dataflow.Problem

Problem.Fact - Interface in net.sf.bddbddb.dataflow

Problem.TransferFunction - Class in net.sf.bddbddb.dataflow

Problem.TransferFunction() - Constructor for class net.sf.bddbddb.dataflow.Problem.TransferFunction

project(PartialOrder.Constraints, List) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

Project - Class in net.sf.bddbddb.ir.highlevel
Project
Project(Relation, Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Project

Q

Queue - Interface in net.sf.bddbddb.order

R

readDatalogProgram(String) - Method in class net.sf.bddbddb.DatalogParser
Read and parse a Datalog program.
readDatalogProgram(Solver.MyReader) - Method in class net.sf.bddbddb.DatalogParser
Read and parse a Datalog program.
readLine() - Method in class net.sf.bddbddb.Solver.MyReader
Read a line.
recomputeCost(double) - Method in class net.sf.bddbddb.order.TrialInstance

reduceByNumTrials(int) - Method in class net.sf.bddbddb.order.TrialDataRepository

registerReader(LineNumberReader) - Method in class net.sf.bddbddb.Solver.MyReader
Register a new reader, pushing the current one on the stack.
registerTrial(TrialInfo) - Method in class net.sf.bddbddb.order.ConstraintInfo

registerTrials(Collection) - Method in class net.sf.bddbddb.order.ConstraintInfo
Register new trials with this ConstraintInfo.
relation - Variable in class net.sf.bddbddb.Attribute
Relation that this attribute is associated with.
relation - Variable in class net.sf.bddbddb.BDDRelation
Value of relation.
Relation - Class in net.sf.bddbddb
Represents a relation in bddbddb.
Relation(Solver, String, List) - Constructor for class net.sf.bddbddb.Relation
Create a new Relation.
relation - Variable in class net.sf.bddbddb.RuleTerm
Relation for this rule term.
relationFacts - Variable in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

RelationGraph - Class in net.sf.bddbddb
Allows relations to be treated as edges in a graph, so we can use graph algorithms on them.
RelationProblem - Class in net.sf.bddbddb.dataflow
RelationProblem
RelationProblem() - Constructor for class net.sf.bddbddb.dataflow.RelationProblem

RelationProblem.RelationFact - Class in net.sf.bddbddb.dataflow

RelationProblem.RelationFact() - Constructor for class net.sf.bddbddb.dataflow.RelationProblem.RelationFact

RelationProblem.RelationFacts - Class in net.sf.bddbddb.dataflow

RelationProblem.RelationFacts() - Constructor for class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

relevantBeforeConstraints(Collection) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

relevantInterConstraints(Collection) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

remove() - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

remove() - Method in class net.sf.bddbddb.dataflow.DefUse.OperationIterator

remove(int) - Method in class net.sf.bddbddb.order.Order

remove(Object) - Method in class net.sf.bddbddb.order.Order

remove() - Method in class net.sf.bddbddb.order.OrderIterator

remove() - Method in interface net.sf.bddbddb.order.Queue
Retrieves and removes the head of this queue.
remove() - Method in class net.sf.bddbddb.order.StackQueue

remove() - Method in class net.sf.bddbddb.TupleIterator

removeAll(Collection) - Method in class net.sf.bddbddb.InferenceRule.DependenceNavigator
Remove all of the relations/rules in the given collection.
removeAll(Collection) - Method in class net.sf.bddbddb.order.Order

removeEdge(Object, Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

removeEdge(Object, Object) - Method in class net.sf.bddbddb.InferenceRule.DependenceNavigator
Remove a specific edge from this navigator.
removeEdgesFrom(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

removeElement(int) - Method in class net.sf.bddbddb.IterationList

removeElement(IterationElement) - Method in class net.sf.bddbddb.IterationList

removeElements(Collection) - Method in class net.sf.bddbddb.IterationList

removeInvolving(Attribute) - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

removeNode(Object) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

Rename - Class in net.sf.bddbddb.ir.highlevel
Rename
Rename(Relation, Relation, Map) - Constructor for class net.sf.bddbddb.ir.highlevel.Rename

Replace - Class in net.sf.bddbddb.ir.lowlevel
Replace
Replace(BDDRelation, BDDRelation) - Constructor for class net.sf.bddbddb.ir.lowlevel.Replace

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.dynamic.If

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.dynamic.Nop

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Copy

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Free

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Invert

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Load

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Project

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Rename

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Save

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Universe

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.highlevel.Zero

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.lowlevel.Replace

replaceSrc(Relation, Relation) - Method in class net.sf.bddbddb.ir.Operation

reportStats() - Method in class net.sf.bddbddb.BDDInferenceRule

reportStats() - Method in class net.sf.bddbddb.BDDSolver

reportStats() - Method in class net.sf.bddbddb.InferenceRule
Report statistics about this rule.
reportStats() - Method in class net.sf.bddbddb.LSInferenceRule

reportStats() - Method in class net.sf.bddbddb.NumberingRule

resample(Random) - Method in class net.sf.bddbddb.order.TrialInstances

reset() - Method in class net.sf.bddbddb.dataflow.DataflowSolver
Resets dataflow information.
retainAll(Collection) - Method in class net.sf.bddbddb.InferenceRule.DependenceNavigator
Retain only the relations/rules in the given collection.
retainAll(Collection) - Method in class net.sf.bddbddb.order.Order

reverseIterator() - Method in class net.sf.bddbddb.IterationList

RMS(double, double, double, double, double, double) - Static method in class net.sf.bddbddb.order.CandidateSampler.UncertaintySampler

RULE_CONST - Static variable in class net.sf.bddbddb.order.EpisodeCollection
Time of the test.
rulesLeft - Variable in class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem

RuleTerm - Class in net.sf.bddbddb
A term in a Datalog rule.
RuleTerm(Relation, List) - Constructor for class net.sf.bddbddb.RuleTerm
Create a new RuleTerm with the given relation and list of variables.
run() - Method in class net.sf.bddbddb.dataflow.CopyProp

run() - Method in class net.sf.bddbddb.dataflow.DeadCode

run() - Method in interface net.sf.bddbddb.dataflow.IRPass

run() - Method in class net.sf.bddbddb.dataflow.Liveness

run() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy

run() - Method in class net.sf.bddbddb.Solver

S

sample(int, Order[], double[], double) - Static method in class net.sf.bddbddb.order.CandidateSampler

sample(Collection, TrialInstances, TrialInstances, TrialInstances, InferenceRule, boolean) - Method in class net.sf.bddbddb.order.CandidateSampler

sample(Collection, TrialInstances, TrialInstances, TrialInstances, InferenceRule, boolean) - Method in class net.sf.bddbddb.order.CandidateSampler.UncertaintySampler

SAMPLE_SIZE - Static variable in class net.sf.bddbddb.FindBestDomainOrder

satisfy() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

save() - Method in class net.sf.bddbddb.BDDRelation

save(BDDSolver, String, BDD) - Static method in class net.sf.bddbddb.BDDRelation
Save a BDD with a valid header.
save(String) - Method in class net.sf.bddbddb.BDDRelation
Save the value of this relation to the given file.
Save - Class in net.sf.bddbddb.ir.highlevel
Save
Save(Relation, String, boolean) - Constructor for class net.sf.bddbddb.ir.highlevel.Save

save() - Method in class net.sf.bddbddb.LSRelation

save() - Method in class net.sf.bddbddb.Relation
Save the current value of this relation to disk in its native format.
save() - Method in class net.sf.bddbddb.Solver

saveDomainAssignment(BufferedWriter) - Method in class net.sf.bddbddb.ir.DomainAssignment

saveDomainAssignment(BufferedWriter) - Method in class net.sf.bddbddb.ir.PartialOrderDomainAssignment

saveDomainAssignment(BufferedWriter) - Method in class net.sf.bddbddb.ir.UFDomainAssignment

saveTuples() - Method in class net.sf.bddbddb.BDDRelation

saveTuples(String) - Method in class net.sf.bddbddb.BDDRelation
Save the value of this relation in tuple form to the given file.
saveTuples(String, BDD) - Method in class net.sf.bddbddb.BDDRelation
Save the given relation in tuple form to the given file.
saveTuples() - Method in class net.sf.bddbddb.LSRelation

saveTuples(String) - Method in class net.sf.bddbddb.LSRelation

saveTuples() - Method in class net.sf.bddbddb.Relation
Save the current value of this relation to disk in tuple form.
saveTuples(String) - Method in class net.sf.bddbddb.Relation
Save the value of this relation in tuple form to the given file.
score - Variable in class net.sf.bddbddb.order.TrialPrediction

selectOrder(Collection, TrialInstances, TrialInstances, TrialInstances, InferenceRule, boolean) - Method in class net.sf.bddbddb.FindBestDomainOrder

set(Object) - Method in class net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

set(boolean) - Method in class net.sf.bddbddb.ir.dynamic.IRBoolean

set(int, Object) - Method in class net.sf.bddbddb.order.Order

setBDD(BDD) - Method in class net.sf.bddbddb.BDDRelation
Set the value of this relation from the given BDD.
setBins(int) - Method in class net.sf.bddbddb.order.MyDiscretize
Ignored
setConstraints(Relation, PartialOrder.Constraints) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

setConstraints(PartialOrder.Constraints) - Method in class net.sf.bddbddb.Relation
Set the constraints for this relation.
setCost(double) - Method in class net.sf.bddbddb.order.TrialInstance

setDiscretizeParam(double) - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

setDomain(Domain) - Method in class net.sf.bddbddb.Variable
Set the domain of this variable.
setDomainAssignment(List) - Method in class net.sf.bddbddb.BDDRelation
Set the BDD domain assignment of this relation to the given one.
setFact(Operation, OperationProblem.OperationFact) - Method in class net.sf.bddbddb.dataflow.OperationProblem

setFindNumBins(boolean) - Method in class net.sf.bddbddb.order.MyDiscretize
Set the value of FindNumBins.
setIn(Operation, CopyProp.CopyPropFact) - Method in class net.sf.bddbddb.dataflow.CopyProp

setIn(Operation, Problem.Fact) - Method in class net.sf.bddbddb.dataflow.DefUse

setIn(Operation, PartialRedundancy.Postponed.PostponedFact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed

setIndex(Attribute, int) - Static method in class net.sf.bddbddb.order.TrialInstances

setInputFormat(Instances) - Method in class net.sf.bddbddb.order.MyDiscretize
Sets the format of the input instances.
setLocation(IterationList) - Method in class net.sf.bddbddb.dataflow.BitVectorFact

setLocation(IterationList) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact

setLocation(IterationList) - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact

setLocation(IterationList) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

setLocation(IterationList) - Method in interface net.sf.bddbddb.dataflow.Problem.Fact

setLocation(IterationList) - Method in class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

setName(String) - Method in class net.sf.bddbddb.Variable
Set the name of this variable.
setOptions(String[]) - Method in class net.sf.bddbddb.order.MyDiscretize
Parses the options for this object.
setOut(Operation, Problem.Fact) - Method in class net.sf.bddbddb.dataflow.Liveness

setOut(Operation, PartialRedundancy.Used.UsedFact) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used

setPairing() - Method in class net.sf.bddbddb.ir.lowlevel.Replace

setProjectSet() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

setRelationDest(Relation) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.dynamic.If

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.dynamic.Nop

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Copy

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Free

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Invert

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Load

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Project

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Rename

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Save

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Universe

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.highlevel.Zero

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.lowlevel.Replace

setRelationDest(Relation) - Method in class net.sf.bddbddb.ir.Operation

setSize(BigInteger) - Method in class net.sf.bddbddb.Domain
Sets the size of this domain.
setThresholdParam(double) - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

setUseEqualFrequency(boolean) - Method in class net.sf.bddbddb.order.MyDiscretize
Set the value of UseEqualFrequency.
setVariableOrdering() - Method in class net.sf.bddbddb.BDDSolver
Set the BDD variable ordering based on VARORDER.
setVariableOrdering() - Method in class net.sf.bddbddb.ir.DomainAssignment

setVariableOrdering() - Method in class net.sf.bddbddb.ir.PartialOrderDomainAssignment

setVariableOrdering() - Method in class net.sf.bddbddb.ir.UFDomainAssignment

setWeight(int, double) - Method in class net.sf.bddbddb.order.BaggedId3

setWeights(double[]) - Method in class net.sf.bddbddb.order.BaggedId3

signum(long) - Static method in class net.sf.bddbddb.FindBestDomainOrder

signum(double) - Static method in class net.sf.bddbddb.FindBestDomainOrder

similarity(Order) - Method in class net.sf.bddbddb.order.Order
Returns the similarity between two orders as a number between 0.0 and 1.0.
simplify(Operation, ConstantProp.ConstantPropFacts) - Method in class net.sf.bddbddb.dataflow.ConstantProp

size() - Method in class net.sf.bddbddb.dataflow.DefUse.OperationSet

size - Variable in class net.sf.bddbddb.Domain
Number of elements in domain.
size - Variable in class net.sf.bddbddb.ir.Interpreter.RelationStats

size() - Method in class net.sf.bddbddb.IterationList

size() - Method in class net.sf.bddbddb.order.Order

size() - Method in class net.sf.bddbddb.order.OrderConstraintSet

size() - Method in class net.sf.bddbddb.Relation
Return the number of tuples in this relation.
SMART_LOAD - Static variable in class net.sf.bddbddb.BDDRelation

solve() - Method in class net.sf.bddbddb.BDDSolver

solve(Problem, IterationList) - Method in class net.sf.bddbddb.dataflow.DataflowSolver

solve() - Method in class net.sf.bddbddb.LSSolver

solve() - Method in class net.sf.bddbddb.Solver
Solve the rules.
solver - Variable in class net.sf.bddbddb.BDDInferenceRule

solver - Variable in class net.sf.bddbddb.BDDRelation
Link to solver.
solver - Variable in class net.sf.bddbddb.InferenceRule
Link to solver.
solver - Variable in class net.sf.bddbddb.Interactive
Solver we are using.
solver - Variable in class net.sf.bddbddb.ir.IR

Solver - Class in net.sf.bddbddb
Solver
Solver() - Constructor for class net.sf.bddbddb.Solver
Construct a solver object.
solver - Variable in class net.sf.bddbddb.Stratify

Solver.MyReader - Class in net.sf.bddbddb
A LineNumberReader that can nest through multiple included files.
Solver.MyReader(LineNumberReader) - Constructor for class net.sf.bddbddb.Solver.MyReader
Construct a new reader from the given line number reader.
SolverGUI - Class in net.sf.bddbddb
SolverGUI
SolverGUI() - Constructor for class net.sf.bddbddb.SolverGUI
This is the default constructor
SPACER - Static variable in class net.sf.bddbddb.order.EpisodeCollection

special_type - Variable in class net.sf.bddbddb.BDDRelation

split(int) - Method in class net.sf.bddbddb.InferenceRule
Splits a rule into a collection of rules, such that each of the new rules has only two subgoals.
split(int) - Method in class net.sf.bddbddb.NumberingRule

StackQueue - Class in net.sf.bddbddb.order

StackQueue() - Constructor for class net.sf.bddbddb.order.StackQueue

startNewEpisode(long) - Method in class net.sf.bddbddb.order.EpisodeCollection

startTime - Variable in class net.sf.bddbddb.Solver

strata - Variable in class net.sf.bddbddb.Stratify

stratify(boolean) - Method in class net.sf.bddbddb.Solver
Stratify the rules.
Stratify - Class in net.sf.bddbddb
Implements stratification and decides iteration order.
Stratify(Solver) - Constructor for class net.sf.bddbddb.Stratify

stratify() - Method in class net.sf.bddbddb.Stratify

stratify(List, Set, Set) - Method in class net.sf.bddbddb.Stratify
Stratify the given list of rules with respect to the given inputs and outputs.
subList(int, int) - Method in class net.sf.bddbddb.order.Order

T

threshold(double) - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

threshold(double) - Method in class net.sf.bddbddb.order.TrialInstances

threshold(double, int) - Method in class net.sf.bddbddb.order.TrialInstances

ti - Variable in class net.sf.bddbddb.order.TrialInstance

timestamp - Variable in class net.sf.bddbddb.order.TrialInfo

toArray() - Method in class net.sf.bddbddb.order.Order

toArray(Object[]) - Method in class net.sf.bddbddb.order.Order

top - Variable in class net.sf.bddbddb.InferenceRule
List of subgoals for the rule (i.e.
toString() - Method in class net.sf.bddbddb.Attribute

toString() - Method in class net.sf.bddbddb.BDDInferenceRule

toString() - Method in class net.sf.bddbddb.dataflow.BitVectorFact

toString() - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFact

toString() - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFacts

toString() - Method in class net.sf.bddbddb.dataflow.CopyProp.CopyPropFact

toString() - Method in class net.sf.bddbddb.dataflow.CopyProp

toString() - Method in class net.sf.bddbddb.dataflow.DefUse.DefUseFact

toString() - Method in class net.sf.bddbddb.dataflow.Liveness.LivenessFact

toString() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraint

toString() - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

toString() - Method in class net.sf.bddbddb.dataflow.PartialOrder.Constraints

toString() - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

toString() - Method in class net.sf.bddbddb.dataflow.PartialOrder

toString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Anticipated

toString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Available

toString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Earliest

toString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Latest

toString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

toString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Postponed

toString() - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Used

toString() - Method in class net.sf.bddbddb.Domain

toString(BigInteger) - Method in class net.sf.bddbddb.Domain
Returns the string representation of the given element in this domain.
toString() - Method in class net.sf.bddbddb.FindBestDomainOrder.OrderInfo

toString() - Method in class net.sf.bddbddb.FindBestDomainOrder.OrderSearchElem

toString() - Method in class net.sf.bddbddb.InferenceRule

toString() - Method in class net.sf.bddbddb.ir.dynamic.If

toString() - Method in class net.sf.bddbddb.ir.dynamic.IRBoolean

toString() - Method in class net.sf.bddbddb.ir.dynamic.Nop

toString() - Method in class net.sf.bddbddb.ir.highlevel.BooleanOperation

toString() - Method in class net.sf.bddbddb.ir.highlevel.Copy

toString() - Method in class net.sf.bddbddb.ir.highlevel.Free

toString() - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

toString() - Method in class net.sf.bddbddb.ir.highlevel.Invert

toString() - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

toString() - Method in class net.sf.bddbddb.ir.highlevel.Load

toString() - Method in class net.sf.bddbddb.ir.highlevel.Project

toString() - Method in class net.sf.bddbddb.ir.highlevel.Rename

toString() - Method in class net.sf.bddbddb.ir.highlevel.Save

toString() - Method in class net.sf.bddbddb.ir.highlevel.Universe

toString() - Method in class net.sf.bddbddb.ir.highlevel.Zero

toString() - Method in class net.sf.bddbddb.ir.Interpreter.RelationStats

toString() - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

toString() - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

toString() - Method in class net.sf.bddbddb.ir.lowlevel.Replace

toString() - Method in class net.sf.bddbddb.ir.Operation

toString() - Method in class net.sf.bddbddb.IterationFlowGraph

toString() - Method in class net.sf.bddbddb.IterationList

toString() - Method in class net.sf.bddbddb.order.ConstraintInfo

toString() - Method in class net.sf.bddbddb.order.EpisodeCollection

toString() - Method in class net.sf.bddbddb.order.FilterTranslator

toString() - Method in class net.sf.bddbddb.order.MyId3
Prints the decision tree using the private toString method from below.
toString() - Method in class net.sf.bddbddb.order.Order

toString() - Method in class net.sf.bddbddb.order.OrderConstraint.AfterConstraint

toString() - Method in class net.sf.bddbddb.order.OrderConstraint.BeforeConstraint

toString() - Method in class net.sf.bddbddb.order.OrderConstraint.InterleaveConstraint

toString() - Method in class net.sf.bddbddb.order.OrderConstraintSet

toString() - Method in class net.sf.bddbddb.order.TrialGuess

toString() - Method in class net.sf.bddbddb.order.TrialInfo

toString() - Method in class net.sf.bddbddb.order.TrialPrediction

toString() - Method in class net.sf.bddbddb.Relation

toString() - Method in class net.sf.bddbddb.RuleTerm

toString() - Method in class net.sf.bddbddb.Variable

toString_full() - Method in class net.sf.bddbddb.IterationList

toVarOrderString(Map) - Method in class net.sf.bddbddb.order.Order
Generate a BDD order string from this variable order.
toXMLElement() - Method in class net.sf.bddbddb.Attribute

toXMLElement() - Method in class net.sf.bddbddb.FindBestDomainOrder.OrderInfo
Returns this OrderInfo as an XML element.
toXMLElement() - Method in class net.sf.bddbddb.FindBestDomainOrder
Returns this FindBestDomainOrder as an XML element.
toXMLElement() - Method in class net.sf.bddbddb.InferenceRule

toXMLElement(Solver) - Method in class net.sf.bddbddb.order.ConstraintInfo

toXMLElement() - Method in class net.sf.bddbddb.order.EpisodeCollection.Episode

toXMLElement() - Method in class net.sf.bddbddb.order.EpisodeCollection
Returns this EpisodeCollection as an XML element.
toXMLElement(InferenceRule) - Method in class net.sf.bddbddb.order.OrderConstraint.AfterConstraint

toXMLElement(InferenceRule) - Method in class net.sf.bddbddb.order.OrderConstraint.BeforeConstraint

toXMLElement(InferenceRule) - Method in class net.sf.bddbddb.order.OrderConstraint.InterleaveConstraint

toXMLElement(InferenceRule) - Method in class net.sf.bddbddb.order.OrderConstraint

toXMLElement() - Method in class net.sf.bddbddb.order.TrialInfo
Returns this TrialInfo as an XML element.
toXMLElement() - Method in class net.sf.bddbddb.Relation

toXMLElement() - Method in class net.sf.bddbddb.RuleTerm

toXMLElement(InferenceRule) - Method in class net.sf.bddbddb.Variable

TRACE - Variable in class net.sf.bddbddb.dataflow.DeadCode

TRACE - Static variable in class net.sf.bddbddb.FindBestDomainOrder

TRACE - Variable in class net.sf.bddbddb.RelationGraph
Trace flag.
TRACE_VERBOSE - Static variable in class net.sf.bddbddb.ir.Operation
Boolean for verbose tracing of operations
transform(IterationList) - Method in class net.sf.bddbddb.dataflow.CopyProp

transform(IterationList) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy

translate(Order) - Method in class net.sf.bddbddb.order.AttribToDomainTranslator

translate(Order) - Method in class net.sf.bddbddb.order.FilterTranslator

translate(Order) - Method in class net.sf.bddbddb.order.IdentityTranslator

translate(Order) - Method in class net.sf.bddbddb.order.MapBasedTranslator

translate(Map) - Method in class net.sf.bddbddb.order.OrderConstraintSet

translate(Order) - Method in class net.sf.bddbddb.order.OrderTranslator.Compose

translate(Order) - Method in interface net.sf.bddbddb.order.OrderTranslator
Translate the given order.
translate(Order) - Method in class net.sf.bddbddb.order.VarToAttribTranslator

TrialDataRepository - Class in net.sf.bddbddb.order

TrialDataRepository(BDDSolver) - Constructor for class net.sf.bddbddb.order.TrialDataRepository

TrialDataRepository(Collection, BDDSolver) - Constructor for class net.sf.bddbddb.order.TrialDataRepository

TrialDataRepository.TrialDataGroup - Class in net.sf.bddbddb.order

TrialDataRepository.TrialDataGroup(TrialInstances) - Constructor for class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

TrialDataRepository.TrialDataGroup.AttribTrialDataGroup - Class in net.sf.bddbddb.order

TrialDataRepository.TrialDataGroup.AttribTrialDataGroup(Collection, TrialInstances) - Constructor for class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup.AttribTrialDataGroup

TrialDataRepository.TrialDataGroup.DomainTrialDataGroup - Class in net.sf.bddbddb.order

TrialDataRepository.TrialDataGroup.DomainTrialDataGroup(Collection, TrialInstances) - Constructor for class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup.DomainTrialDataGroup

TrialDataRepository.TrialDataGroup.VariableTrialDataGroup - Class in net.sf.bddbddb.order

TrialDataRepository.TrialDataGroup.VariableTrialDataGroup(Collection, TrialInstances) - Constructor for class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup.VariableTrialDataGroup

TRIALFILE - Variable in class net.sf.bddbddb.BDDSolver

TrialGuess - Class in net.sf.bddbddb.order

TrialGuess(Order, TrialPrediction) - Constructor for class net.sf.bddbddb.order.TrialGuess

TrialInfo - Class in net.sf.bddbddb.order
Information about a particular trial.
TrialInfo(Order, TrialPrediction, long, EpisodeCollection.Episode, long) - Constructor for class net.sf.bddbddb.order.TrialInfo
Construct a new TrialInfo.
TrialInstance - Class in net.sf.bddbddb.order

TrialInstance(double, double[], Order, TrialInfo) - Constructor for class net.sf.bddbddb.order.TrialInstance

TrialInstance(TrialInstance) - Constructor for class net.sf.bddbddb.order.TrialInstance

TrialInstances - Class in net.sf.bddbddb.order

TrialInstances(String, FastVector, int) - Constructor for class net.sf.bddbddb.order.TrialInstances

TrialPrediction - Class in net.sf.bddbddb.order

TrialPrediction(double, double, double, double, double, double, double) - Constructor for class net.sf.bddbddb.order.TrialPrediction

trials - Variable in class net.sf.bddbddb.order.EpisodeCollection
Map from orders to their trial information.
trialsToXMLElement() - Method in class net.sf.bddbddb.FindBestDomainOrder
Returns the set of all trials performed so far as an XML element.
TryDomainOrders - Class in net.sf.bddbddb

TryDomainOrders() - Constructor for class net.sf.bddbddb.TryDomainOrders

tryNewGoodOrder(EpisodeCollection.Episode, List, InferenceRule, int, boolean) - Method in class net.sf.bddbddb.FindBestDomainOrder

tryNewGoodOrder(EpisodeCollection, List, InferenceRule, int, Order, boolean) - Method in class net.sf.bddbddb.FindBestDomainOrder

TUPLE_COMPARATOR - Static variable in class net.sf.bddbddb.LSRelation

TupleIterator - Class in net.sf.bddbddb
TupleIterator
TupleIterator() - Constructor for class net.sf.bddbddb.TupleIterator

TUPLES_INPUT_SUFFIX - Static variable in class net.sf.bddbddb.BDDRelation

TUPLES_OUTPUT_SUFFIX - Static variable in class net.sf.bddbddb.BDDRelation

U

UFDomainAssignment - Class in net.sf.bddbddb.ir
Performs domain assignment based on a union-find data structure.
UFDomainAssignment(Solver) - Constructor for class net.sf.bddbddb.ir.UFDomainAssignment

UFDomainAssignment(Solver, PartialOrder.Constraints[]) - Constructor for class net.sf.bddbddb.ir.UFDomainAssignment

UNCERTAINTY_THRESHOLD - Static variable in class net.sf.bddbddb.FindBestDomainOrder

Union - Class in net.sf.bddbddb.ir.highlevel
Union
Union(Relation, Relation, Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Union

UnionBitVectorFact - Class in net.sf.bddbddb.dataflow

UnionBitVectorFact(int) - Constructor for class net.sf.bddbddb.dataflow.UnionBitVectorFact

UnionBitVectorFact(BitString) - Constructor for class net.sf.bddbddb.dataflow.UnionBitVectorFact

Universe - Class in net.sf.bddbddb.ir.highlevel
Universe
Universe(Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Universe

Universe - Class in net.sf.bddbddb
A Universe is a special kind of variable that represents all values in a domain.
Universe(Domain) - Constructor for class net.sf.bddbddb.Universe
Create a universe on the given domain.
unnecessaryVariables - Variable in class net.sf.bddbddb.InferenceRule
Set of variables that are unnecessary.
UnorderedPair - Class in net.sf.bddbddb.order

UnorderedPair(Object, Object) - Constructor for class net.sf.bddbddb.order.UnorderedPair

update() - Method in class net.sf.bddbddb.BDDInferenceRule

update(UnionFind) - Method in class net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

update() - Method in class net.sf.bddbddb.InferenceRule
Update the head relation of this rule based on the subgoal relations.
update() - Method in class net.sf.bddbddb.LSInferenceRule

update() - Method in class net.sf.bddbddb.NumberingRule

update(Order, TrialInfo, EpisodeCollection) - Method in class net.sf.bddbddb.order.TrialDataRepository.TrialDataGroup

UPDATE_CONST - Static variable in class net.sf.bddbddb.order.EpisodeCollection

updateCount - Variable in class net.sf.bddbddb.BDDInferenceRule
Number of times update() has been called on this rule.
used - Variable in class net.sf.bddbddb.dataflow.PartialRedundancy

useEqualFrequencyTipText() - Method in class net.sf.bddbddb.order.MyDiscretize
Returns the tip text for this property

V

value - Variable in class net.sf.bddbddb.Constant
Value of constant.
value() - Method in class net.sf.bddbddb.ir.dynamic.IRBoolean

varClassWeight - Variable in class net.sf.bddbddb.FindBestDomainOrder

VARIABLE - Static variable in class net.sf.bddbddb.order.TrialPrediction

Variable - Class in net.sf.bddbddb
A Variable is a variable in a rule.
Variable() - Constructor for class net.sf.bddbddb.Variable
Create empty variable.
Variable(String) - Constructor for class net.sf.bddbddb.Variable
Create a new variable with the given name.
Variable(String, Domain) - Constructor for class net.sf.bddbddb.Variable
Create a new variable with the given name and domain.
variables - Variable in class net.sf.bddbddb.RuleTerm
List of variables in this rule term.
variableToBDDDomain - Variable in class net.sf.bddbddb.BDDInferenceRule
Map from variables to their BDD domains.
varianceForInstance(Instance) - Method in class net.sf.bddbddb.order.BaggedId3

VARORDER - Variable in class net.sf.bddbddb.BDDSolver
BDD variable ordering.
VarToAttribMap - Class in net.sf.bddbddb.order
VarToAttribMap
VarToAttribMap(InferenceRule) - Constructor for class net.sf.bddbddb.order.VarToAttribMap

VarToAttribTranslator - Class in net.sf.bddbddb.order
VarToAttribTranslator
VarToAttribTranslator(InferenceRule) - Constructor for class net.sf.bddbddb.order.VarToAttribTranslator

VCENT - Static variable in class net.sf.bddbddb.FindBestDomainOrder

verboseToString() - Method in class net.sf.bddbddb.BDDRelation

verboseToString() - Method in class net.sf.bddbddb.LSRelation

verboseToString() - Method in class net.sf.bddbddb.Relation
Returns a verbose representation of the relation
verify() - Method in class net.sf.bddbddb.BDDRelation
Verify that the domains for this BDD are correct.
verify(BDD) - Method in class net.sf.bddbddb.BDDRelation
Verify that the domains for the given BDD match this relation.
visit(Join) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Project) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(BDDProject) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Rename) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Union) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Difference) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(JoinConstant) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(GenConstant) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Free) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Universe) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Zero) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Invert) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Copy) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Load) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Save) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(ApplyEx) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(If) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Nop) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Replace) - Method in class net.sf.bddbddb.dataflow.ConstantProp.ConstantPropTF

visit(Join) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Project) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(BDDProject) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Rename) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Union) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Difference) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(JoinConstant) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(GenConstant) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Free) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Universe) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Zero) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Invert) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Copy) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Load) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Save) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(ApplyEx) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(If) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Nop) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Replace) - Method in class net.sf.bddbddb.dataflow.ConstantProp.SimplifyVisitor

visit(Join) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Project) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(BDDProject) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(ApplyEx) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Rename) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Union) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Difference) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Load) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(JoinConstant) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(GenConstant) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Free) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Universe) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Zero) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Invert) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Copy) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Save) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Replace) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(If) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(Nop) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

visit(OperationVisitor) - Method in class net.sf.bddbddb.dataflow.PartialRedundancy.Phi

visit(Join) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Project) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(BDDProject) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Rename) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Union) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Difference) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(JoinConstant) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(GenConstant) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Free) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Zero) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Universe) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Invert) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Copy) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Load) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Save) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(ApplyEx) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(If) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Nop) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Replace) - Method in class net.sf.bddbddb.ir.BDDOperationInterpreter

visit(Join) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Project) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(BDDProject) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Rename) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Union) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Difference) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(JoinConstant) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(GenConstant) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Free) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Universe) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Zero) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Invert) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Copy) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Replace) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Load) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Save) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(ApplyEx) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(If) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(Nop) - Method in class net.sf.bddbddb.ir.DomainAssignment

visit(OperationVisitor) - Method in class net.sf.bddbddb.ir.dynamic.DynamicOperation

visit(DynamicOperationVisitor) - Method in class net.sf.bddbddb.ir.dynamic.DynamicOperation

visit(If) - Method in interface net.sf.bddbddb.ir.dynamic.DynamicOperationVisitor

visit(Nop) - Method in interface net.sf.bddbddb.ir.dynamic.DynamicOperationVisitor

visit(DynamicOperationVisitor) - Method in class net.sf.bddbddb.ir.dynamic.If

visit(OperationVisitor) - Method in class net.sf.bddbddb.ir.dynamic.If

visit(DynamicOperationVisitor) - Method in class net.sf.bddbddb.ir.dynamic.Nop

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Copy

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Difference

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Free

visit(OperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.GenConstant

visit(OperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.HighLevelOperation

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.HighLevelOperation

visit(Join) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Project) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Rename) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Union) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Difference) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(JoinConstant) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(GenConstant) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Free) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Universe) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Zero) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Invert) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Copy) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Load) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(Save) - Method in interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Invert

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Join

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.JoinConstant

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Load

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Project

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Rename

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Save

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Union

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Universe

visit(HighLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.highlevel.Zero

visit(LowLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.lowlevel.ApplyEx

visit(LowLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.lowlevel.BDDProject

visit(OperationVisitor) - Method in class net.sf.bddbddb.ir.lowlevel.LowLevelOperation

visit(LowLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.lowlevel.LowLevelOperation

visit(ApplyEx) - Method in interface net.sf.bddbddb.ir.lowlevel.LowLevelOperationVisitor

visit(Replace) - Method in interface net.sf.bddbddb.ir.lowlevel.LowLevelOperationVisitor

visit(BDDProject) - Method in interface net.sf.bddbddb.ir.lowlevel.LowLevelOperationVisitor

visit(LowLevelOperationVisitor) - Method in class net.sf.bddbddb.ir.lowlevel.Replace

visit(OperationVisitor) - Method in class net.sf.bddbddb.ir.Operation

visitUnionBinary(Relation, Relation) - Method in class net.sf.bddbddb.dataflow.PartialOrder.PartialOrderTF

VMEAN_INDEX - Static variable in class net.sf.bddbddb.FindBestDomainOrder

W

WEIGHT_UNCERTAINTY_SAMPLE - Static variable in class net.sf.bddbddb.FindBestDomainOrder

WEIGHT_WINDOW_SIZE - Static variable in class net.sf.bddbddb.FindBestDomainOrder

WekaInterface - Class in net.sf.bddbddb.order
WekaInterface
WekaInterface() - Constructor for class net.sf.bddbddb.order.WekaInterface

WekaInterface.OrderAttribute - Class in net.sf.bddbddb.order

WekaInterface.OrderInstance - Class in net.sf.bddbddb.order

WekaInterface.OrderInstance(double, double[], Order) - Constructor for class net.sf.bddbddb.order.WekaInterface.OrderInstance

WekaInterface.OrderInstance(WekaInterface.OrderInstance) - Constructor for class net.sf.bddbddb.order.WekaInterface.OrderInstance

X

XMLFactory - Class in net.sf.bddbddb
XMLFactory

Z

Zero - Class in net.sf.bddbddb.ir.highlevel
Zero
Zero(Relation) - Constructor for class net.sf.bddbddb.ir.highlevel.Zero

A B C D E F G H I J L M N O P Q R S T U V W X Z

Overview Package Class Use Tree Deprecated Index Help

PREV NEXT FRAMES NO FRAMES

Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.