Reference Details

Click an entry in the table below to reveal the details of the references made to that element.

Reference Details

org.sat4j.AbstractOptimizationLauncher

EXTENDS
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005	-1

org.sat4j.core.ASolverFactory

EXTENDS
Reference Location	Line Number
org.sat4j.pb.SolverFactory	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.SolverFactory()	-1

org.sat4j.core.ReadOnlyVec

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.ObjectiveFunction.ObjectiveFunction(IVecInt, IVec)	-1

org.sat4j.core.ReadOnlyVecInt

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.ObjectiveFunction.ObjectiveFunction(IVecInt, IVec)	-1

org.sat4j.core.Vec

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.Pseudos.toVecBigInt(IVecInt)	-1
org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder)	-1
org.sat4j.pb.reader.OPBReader2005.OPBReader2005(IPBSolver)	-1
org.sat4j.pb.reader.OPBReader2005.OPBReader2005(IPBSolver)	-1
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.tools.DependencyHelper.atMost(int, T[])	-1
org.sat4j.pb.tools.DependencyHelper.createObjectivetiveFunctionIfNeeded(int)	-1
org.sat4j.pb.tools.DependencyHelper.getSolution()	-1
org.sat4j.pb.tools.DisjunctionRHS.DisjunctionRHS(DependencyHelper, IVecInt)	-1
org.sat4j.pb.tools.ImplicationAnd.ImplicationAnd(DependencyHelper, IVecInt)	-1
org.sat4j.pb.tools.ImplicationNamer.ImplicationNamer(DependencyHelper, IVec)	-1
org.sat4j.pb.tools.ImplicationRHS.ImplicationRHS(DependencyHelper, IVecInt)	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1

org.sat4j.core.VecInt

ALLOCATES_ARRAY
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.initStructures()	-1
DECLARED_FIELD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.byLevel	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.ConflictMap.initStructures()	-1
org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.ConflictMap.setCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.WatchPb.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.OptToPBSATAdapter.OptToPBSATAdapter(IOptimizationProblem)	-1
org.sat4j.pb.PseudoIteratorDecorator.discardCurrentSolution()	-1
org.sat4j.pb.reader.OPBEclipseReader2007.getListOfVariables()	-1
org.sat4j.pb.reader.OPBEclipseReader2007.OPBEclipseReader2007(IPBSolver)	-1
org.sat4j.pb.reader.OPBReader2005.OPBReader2005(IPBSolver)	-1
org.sat4j.pb.reader.OPBReader2005.OPBReader2005(IPBSolver)	-1
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1
org.sat4j.pb.tools.DependencyHelper.and(C, T, T[])	-1
org.sat4j.pb.tools.DependencyHelper.atMost(int, T[])	-1
org.sat4j.pb.tools.DependencyHelper.clause(C, T[])	-1
org.sat4j.pb.tools.DependencyHelper.createObjectivetiveFunctionIfNeeded(int)	-1
org.sat4j.pb.tools.DependencyHelper.discard(IVec)	-1
org.sat4j.pb.tools.DependencyHelper.disjunction(T[])	-1
org.sat4j.pb.tools.DependencyHelper.hasASolution(Collection)	-1
org.sat4j.pb.tools.DependencyHelper.hasASolution(IVec)	-1
org.sat4j.pb.tools.DependencyHelper.iff(C, T, T[])	-1
org.sat4j.pb.tools.DependencyHelper.implication(T[])	-1
org.sat4j.pb.tools.DependencyHelper.or(C, T, T[])	-1
org.sat4j.pb.tools.DependencyHelper.why(T)	-1
org.sat4j.pb.tools.DependencyHelper.whyNot(T)	-1
org.sat4j.pb.tools.DisjunctionRHS.implies(T[])	-1
org.sat4j.pb.tools.ImplicationAnd.and(T)	-1
org.sat4j.pb.tools.ImplicationAnd.andNot(T)	-1

org.sat4j.minisat.constraints.AbstractDataStructureFactory

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory	-1

org.sat4j.minisat.constraints.card.AtLeast

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB	-1

org.sat4j.minisat.constraints.card.MinWatchCard

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1

org.sat4j.minisat.constraints.cnf.LearntBinaryClause

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntBinaryClausePB	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1

org.sat4j.minisat.constraints.cnf.LearntHTClause

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntHTClausePB	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1

org.sat4j.minisat.constraints.cnf.Lits

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createLits()	-1

org.sat4j.minisat.constraints.cnf.MixableCBClause

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB	-1

org.sat4j.minisat.constraints.cnf.OriginalBinaryClause

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB	-1

org.sat4j.minisat.constraints.cnf.OriginalHTClause

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalHTClausePB	-1

org.sat4j.minisat.constraints.cnf.UnitClause

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.UnitClausePB	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1

org.sat4j.minisat.core.AssertingClauseGenerator

PARAMETER
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverClause.PBSolverClause(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder)	-1
org.sat4j.pb.core.PBSolverMerging.PBSolverMerging(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.PBSolverWithImpliedClause(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1

org.sat4j.minisat.core.Constr

EXTENDS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.PBConstr	-1
PARAMETER
Reference Location	Line Number
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructPB(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createCardinalityConstraint(IVecInt, int)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB)	-1
org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure.constructPB(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PBMaxDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PBMinDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructPB(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.core.PBDataStructureFactory.createPseudoBooleanConstraint(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IDataStructurePB)	-1

org.sat4j.minisat.core.DataStructureFactory

EXTENDS
Reference Location	Line Number
org.sat4j.pb.core.PBDataStructureFactory	-1

org.sat4j.minisat.core.ILits

DECLARED_FIELD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.voc	-1
org.sat4j.pb.constraints.pb.UnitClausePB.voc	-1
org.sat4j.pb.constraints.pb.WatchPb.voc	-1
PARAMETER
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.1.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.2.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.atLeastNew(ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.atLeastNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.AtLeastPB(ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.LearntBinaryClausePB.LearntBinaryClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.LearntHTClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.MaxWatchPb(ILits, IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.MaxWatchPb(ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.normalizedWatchPbNew(ILits, IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, boolean, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.MinWatchPb(ILits, IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.MinWatchPb(ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.normalizedWatchPbNew(ILits, IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits, boolean)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.OriginalBinaryClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.OriginalHTClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.OriginalHTClausePB.OriginalHTClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.normalizedWatchPbNew(ILits, IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.PuebloMinWatchPb(ILits, IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.PuebloMinWatchPb(ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.UnitClausePB.UnitClausePB(int, ILits)	-1
RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createLits()	-1
org.sat4j.pb.constraints.pb.AtLeastPB.getVocabulary()	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.getVocabulary()	-1
org.sat4j.pb.constraints.pb.PBConstr.getVocabulary()	-1
org.sat4j.pb.constraints.pb.UnitClausePB.getVocabulary()	-1
org.sat4j.pb.constraints.pb.WatchPb.getVocabulary()	-1

org.sat4j.minisat.core.IOrder

PARAMETER
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverClause.PBSolverClause(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder)	-1
org.sat4j.pb.core.PBSolverMerging.PBSolverMerging(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.PBSolverWithImpliedClause(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.SolverFactory.newPBCP(PBDataStructureFactory, IOrder)	-1

org.sat4j.minisat.core.IPhaseSelectionStrategy

PARAMETER
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.VarOrderHeapObjective(IPhaseSelectionStrategy)	-1
org.sat4j.pb.SolverFactory.newCompetPBKiller(IPhaseSelectionStrategy)	-1
org.sat4j.pb.SolverFactory.newPBKiller(IPhaseSelectionStrategy)	-1

org.sat4j.minisat.core.LearningStrategy

PARAMETER
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverClause.PBSolverClause(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder)	-1
org.sat4j.pb.core.PBSolverMerging.PBSolverMerging(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.PBSolverWithImpliedClause(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1

org.sat4j.minisat.core.Pair

PARAMETER
Reference Location	Line Number
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1

org.sat4j.minisat.core.RestartStrategy

PARAMETER
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1

org.sat4j.minisat.core.SearchParams

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
PARAMETER
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder)	-1
org.sat4j.pb.core.PBSolverResolution.PBSolverResolution(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1

org.sat4j.minisat.core.Solver

EXTENDS
Reference Location	Line Number
org.sat4j.pb.core.PBSolver	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, RestartStrategy)	-1
org.sat4j.pb.core.PBSolver.PBSolver(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder, RestartStrategy)	-1

org.sat4j.minisat.core.Undoable

IMPLEMENTS
Reference Location	Line Number
org.sat4j.pb.constraints.pb.WatchPb	-1

org.sat4j.minisat.core.UnitPropagationListener

PARAMETER
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.atLeastNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.remove(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.remove(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.OriginalHTClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.WatchPb.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.WatchPb.computePropagation(UnitPropagationListener)	-1

org.sat4j.minisat.core.VarActivityListener

PARAMETER
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.IConflict.resolve(PBConstr, int, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.IDataStructurePB.cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.IDataStructurePB.cuttingPlane(PBConstr, BigInteger, BigInteger[], VarActivityListener)	-1
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, BigInteger[], VarActivityListener)	-1

org.sat4j.minisat.learning.ClauseOnlyLearning

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newCompetPBCPMixedConstraintsObjectiveLearnJustClauses()	-1
org.sat4j.pb.SolverFactory.newCompetPBKiller(IPhaseSelectionStrategy)	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstraintsObjectiveLearnJustClauses()	-1
org.sat4j.pb.SolverFactory.newPBKiller(IPhaseSelectionStrategy)	-1

org.sat4j.minisat.learning.MiniSATLearning

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newCompetPBResHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newCompetPBResMinHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause()	-1
org.sat4j.pb.SolverFactory.newPBCP(PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstrainsImplied()	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstraintsReduceToClause()	-1
org.sat4j.pb.SolverFactory.newPBRes(PBDataStructureFactory)	-1
org.sat4j.pb.SolverFactory.newPBResHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newPBResMinHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newPBResMixedConstraintsObjective()	-1

org.sat4j.minisat.learning.NoLearningButHeuristics

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newPBCPMixedConstraintsObjectiveNoLearning()	-1

org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.VarOrderHeapObjective()	-1
org.sat4j.pb.SolverFactory.newCompetPBKillerClassic()	-1
org.sat4j.pb.SolverFactory.newPBKillerClassic()	-1

org.sat4j.minisat.orders.RSATPhaseSelectionStrategy

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newCompetPBKillerRSAT()	-1
org.sat4j.pb.SolverFactory.newPBKillerRSAT()	-1

org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newCompetPBKillerFixed()	-1
org.sat4j.pb.SolverFactory.newPBKillerFixed()	-1

org.sat4j.minisat.orders.VarOrderHeap

EXTENDS
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newPBCP(PBDataStructureFactory)	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstrainsImplied()	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstraintsReduceToClause()	-1
org.sat4j.pb.SolverFactory.newPBRes(PBDataStructureFactory)	-1

org.sat4j.minisat.restarts.MiniSATRestarts

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, SearchParams, IOrder)	-1
org.sat4j.pb.SolverFactory.newCompetPBResHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newCompetPBResMinHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newPBRes(PBDataStructureFactory)	-1
org.sat4j.pb.SolverFactory.newPBResHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newPBResMinHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newPBResMixedConstraintsObjective()	-1

org.sat4j.minisat.uip.FirstUIP

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newCompetPBCPMixedConstraintsObjectiveLearnJustClauses()	-1
org.sat4j.pb.SolverFactory.newCompetPBKiller(IPhaseSelectionStrategy)	-1
org.sat4j.pb.SolverFactory.newCompetPBResHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newCompetPBResMinHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause()	-1
org.sat4j.pb.SolverFactory.newPBCP(PBDataStructureFactory, IOrder)	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstrainsImplied()	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstraintsObjectiveLearnJustClauses()	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstraintsObjectiveNoLearning()	-1
org.sat4j.pb.SolverFactory.newPBCPMixedConstraintsReduceToClause()	-1
org.sat4j.pb.SolverFactory.newPBKiller(IPhaseSelectionStrategy)	-1
org.sat4j.pb.SolverFactory.newPBRes(PBDataStructureFactory)	-1
org.sat4j.pb.SolverFactory.newPBResHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newPBResMinHTMixedConstraintsObjective()	-1
org.sat4j.pb.SolverFactory.newPBResMixedConstraintsObjective()	-1

org.sat4j.reader.InstanceReader

EXTENDS
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader	-1

org.sat4j.reader.ParseFormatException

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.reader.OPBEclipseReader2007.readVariablesExplanation()	-1
org.sat4j.pb.reader.OPBReader2005.checkId(StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2005.parse()	-1
org.sat4j.pb.reader.OPBReader2005.parseInstance(LineNumberReader)	-1
org.sat4j.pb.reader.OPBReader2005.readConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.readConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.readConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.readConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2005.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2005.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2005.readObjective()	-1
org.sat4j.pb.reader.OPBReader2005.readObjective()	-1
org.sat4j.pb.reader.OPBReader2005.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2005.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2006.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2007.checkId(StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2007.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2007.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2007.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
THROWS
Reference Location	Line Number
org.sat4j.pb.reader.OPBEclipseReader2007.readVariablesExplanation()	-1
org.sat4j.pb.reader.OPBReader2005.checkId(StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2005.parse()	-1
org.sat4j.pb.reader.OPBReader2005.parseInstance(LineNumberReader)	-1
org.sat4j.pb.reader.OPBReader2005.parseInstance(Reader)	-1
org.sat4j.pb.reader.OPBReader2005.readConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.readIdentifier(StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2005.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2005.readObjective()	-1
org.sat4j.pb.reader.OPBReader2005.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2005.readVariablesExplanation()	-1
org.sat4j.pb.reader.OPBReader2006.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2007.checkId(StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2007.readMetaData()	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.PBInstanceReader.parseInstance(Reader)	-1
org.sat4j.pb.reader.PBInstanceReader.parseInstance(String)	-1

org.sat4j.reader.Reader

DECLARED_FIELD
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.reader	-1
EXTENDS
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005	-1
RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.createReader(ISolver, String)	-1
org.sat4j.pb.LanceurPseudo2007.createReader(ISolver, String)	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.createReader(ISolver, String)	-1
org.sat4j.pb.reader.PBInstanceReader.getDefaultOPBReader()	-1

org.sat4j.specs.ContradictionException

CATCHES_EXCEPTION
Reference Location	Line Number
org.sat4j.pb.constraints.pb.WatchPb.register()	-1
org.sat4j.pb.OptToPBSATAdapter.model()	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MaxWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.Pseudos.niceParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceParametersForCompetition(int[], BigInteger[], boolean, BigInteger)	-1
THROWS
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructPB(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createCardinalityConstraint(IVecInt, int)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.atLeastNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MinWatchPb.normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceParametersForCompetition(int[], BigInteger[], boolean, BigInteger)	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.pb.WatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.WatchPb.computeWatches()	-1
org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure.constructPB(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PBMaxDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure.constructPB(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PBMinDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructPB(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PuebloPBMinDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.OPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.OPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.OPBStringSolver.addClause(IVecInt)	-1
org.sat4j.pb.PseudoIteratorDecorator.discardCurrentSolution()	-1
org.sat4j.pb.PseudoOptDecorator.discard()	-1
org.sat4j.pb.PseudoOptDecorator.discardCurrentSolution()	-1
org.sat4j.pb.PseudoOptDecorator.forceObjectiveValueTo(Number)	-1
org.sat4j.pb.reader.OPBReader2005.endConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.parse()	-1
org.sat4j.pb.reader.OPBReader2005.parseInstance(LineNumberReader)	-1
org.sat4j.pb.reader.OPBReader2005.parseInstance(Reader)	-1
org.sat4j.pb.reader.OPBReader2005.readConstraint()	-1
org.sat4j.pb.reader.PBInstanceReader.parseInstance(Reader)	-1
org.sat4j.pb.reader.PBInstanceReader.parseInstance(String)	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addClause(IVecInt)	-1

org.sat4j.specs.IConstr

CASTS
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.why()	-1
org.sat4j.pb.tools.ImplicationAnd.named(C)	-1
org.sat4j.pb.tools.ImplicationNamer.named(C)	-1
DECLARED_FIELD
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.FAKE_CONSTR	-1
org.sat4j.pb.PseudoOptDecorator.previousPBConstr	-1
org.sat4j.pb.UserFriendlyPBStringSolver.FAKE_CONSTR	-1
DECLARED_PARAMETERIZED_FIELD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.descs	-1
org.sat4j.pb.tools.DisjunctionRHS.toName	-1
org.sat4j.pb.tools.ImplicationAnd.toName	-1
org.sat4j.pb.tools.ImplicationNamer.toName	-1
org.sat4j.pb.tools.ImplicationRHS.toName	-1
DECLARED_PARAMETERIZED_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.ImplicationNamer.ImplicationNamer(DependencyHelper, IVec)	-1
IMPLEMENTS
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.1	-1
org.sat4j.pb.UserFriendlyPBStringSolver.1	-1
RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.IPBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.OPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.OPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.OPBStringSolver.addClause(IVecInt)	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.PBSolverDecorator.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addClause(IVecInt)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.specs.IOptimizationProblem

DECLARED_FIELD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.problem	-1
IMPLEMENTS
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator	-1
PARAMETER
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.OptToPBSATAdapter(IOptimizationProblem)	-1

org.sat4j.specs.IProblem

RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.parseInstance(LineNumberReader)	-1
org.sat4j.pb.reader.OPBReader2005.parseInstance(Reader)	-1
org.sat4j.pb.reader.PBInstanceReader.parseInstance(Reader)	-1
org.sat4j.pb.reader.PBInstanceReader.parseInstance(String)	-1

org.sat4j.specs.ISolver

EXTENDS
Reference Location	Line Number
org.sat4j.pb.IPBSolver	-1
PARAMETER
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.createReader(ISolver, String)	-1
org.sat4j.pb.LanceurPseudo2007.createReader(ISolver, String)	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.createReader(ISolver, String)	-1
RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.configureSolver(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.configureSolver(String[])	-1
org.sat4j.pb.SolverFactory.newDimacsOutput()	-1

org.sat4j.specs.IVec

CASTS
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2007.getProductVariable(IVec)	-1
DECLARED_PARAMETERIZED_FIELD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.coefs	-1
org.sat4j.pb.core.PBSolverCP.conflictConstraints	-1
org.sat4j.pb.core.PBSolverCP.conflictVariables	-1
org.sat4j.pb.ObjectiveFunction.coeffs	-1
org.sat4j.pb.reader.OPBReader2005.coeffs	-1
org.sat4j.pb.reader.OPBReader2005.objectiveCoeffs	-1
org.sat4j.pb.reader.OPBReader2007.productStore	-1
org.sat4j.pb.tools.DependencyHelper.objCoefs	-1
org.sat4j.pb.tools.DisjunctionRHS.toName	-1
org.sat4j.pb.tools.ImplicationAnd.toName	-1
org.sat4j.pb.tools.ImplicationNamer.toName	-1
org.sat4j.pb.tools.ImplicationRHS.toName	-1
PARAMETER
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.1.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.2.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.IDataStructurePB.buildConstraintFromConflict(IVecInt, IVec)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.copyCoefs(IVec)	-1
org.sat4j.pb.constraints.pb.MapPb.buildConstraintFromConflict(IVecInt, IVec)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.core.PBDataStructureFactory.createPseudoBooleanConstraint(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.IPBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.ObjectiveFunction.ObjectiveFunction(IVecInt, IVec)	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.PBSolverDecorator.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.reader.OPBReader2007.getProductVariable(IVec)	-1
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1
org.sat4j.pb.tools.DependencyHelper.discard(IVec)	-1
org.sat4j.pb.tools.DependencyHelper.hasASolution(IVec)	-1
org.sat4j.pb.tools.ImplicationNamer.ImplicationNamer(DependencyHelper, IVec)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.Pseudos.toVecBigInt(IVecInt)	-1
org.sat4j.pb.ObjectiveFunction.getCoeffs()	-1
org.sat4j.pb.reader.OPBReader2005.getCoeffs()	-1
org.sat4j.pb.tools.DependencyHelper.getSolution()	-1

org.sat4j.specs.IVecInt

DECLARED_FIELD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.allLits	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.lits	-1
org.sat4j.pb.ObjectiveFunction.vars	-1
org.sat4j.pb.OptToPBSATAdapter.assumps	-1
org.sat4j.pb.reader.OPBEclipseReader2007.varExplain	-1
org.sat4j.pb.reader.OPBReader2005.lits	-1
org.sat4j.pb.reader.OPBReader2005.objectiveVars	-1
org.sat4j.pb.tools.DependencyHelper.objLiterals	-1
org.sat4j.pb.tools.DisjunctionRHS.literals	-1
org.sat4j.pb.tools.ImplicationAnd.clause	-1
org.sat4j.pb.tools.ImplicationRHS.clause	-1
PARAMETER
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.1.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.2.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createCardinalityConstraint(IVecInt, int)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.atLeastNew(ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.atLeastNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.AtLeastPB(ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.IDataStructurePB.buildConstraintFromConflict(IVecInt, IVec)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.copyLits(IVecInt)	-1
org.sat4j.pb.constraints.pb.LearntBinaryClausePB.LearntBinaryClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.LearntHTClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.MapPb.buildConstraintFromConflict(IVecInt, IVec)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, boolean, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits, boolean)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.OriginalBinaryClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.OriginalHTClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1
org.sat4j.pb.constraints.pb.OriginalHTClausePB.OriginalHTClausePB(IVecInt, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.toVecBigInt(IVecInt)	-1
org.sat4j.pb.constraints.pb.WatchPb.calcReason(int, IVecInt)	-1
org.sat4j.pb.constraints.PBMaxCBClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.core.PBDataStructureFactory.createPseudoBooleanConstraint(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.IPBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.ObjectiveFunction.ObjectiveFunction(IVecInt, IVec)	-1
org.sat4j.pb.OPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.OPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.OPBStringSolver.addClause(IVecInt)	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.OPBStringSolver.setListOfVariablesForExplanation(IVecInt)	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.PBSolverDecorator.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt)	-1
org.sat4j.pb.reader.OPBReader2007.literalInAProduct(String, IVecInt)	-1
org.sat4j.pb.reader.OPBReader2007.negateLiteralInAProduct(String, IVecInt)	-1
org.sat4j.pb.tools.DependencyHelper.why(IVecInt)	-1
org.sat4j.pb.tools.DisjunctionRHS.DisjunctionRHS(DependencyHelper, IVecInt)	-1
org.sat4j.pb.tools.ImplicationAnd.ImplicationAnd(DependencyHelper, IVecInt)	-1
org.sat4j.pb.tools.ImplicationRHS.ImplicationRHS(DependencyHelper, IVecInt)	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addClause(IVecInt)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.setListOfVariablesForExplanation(IVecInt)	-1
RETURN_TYPE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.LearntBinaryClausePB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.OriginalHTClausePB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.PBConstr.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.UnitClausePB.computeAnImpliedClause()	-1
org.sat4j.pb.constraints.pb.WatchPb.computeAnImpliedClause()	-1
org.sat4j.pb.ObjectiveFunction.getVars()	-1
org.sat4j.pb.reader.OPBEclipseReader2007.getListOfVariables()	-1
org.sat4j.pb.reader.OPBReader2005.getListOfVariables()	-1
org.sat4j.pb.reader.OPBReader2005.getVars()	-1

org.sat4j.specs.TimeoutException

CATCHES_EXCEPTION
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()	-1
org.sat4j.pb.OptToPBSATAdapter.model()	-1
THROWS
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable()	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(boolean)	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution()	-1
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable()	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(boolean)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt)	-1
org.sat4j.pb.tools.DependencyHelper.hasASolution()	-1

org.sat4j.tools.DimacsOutputSolver

INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newDimacsOutput()	-1

org.sat4j.tools.DimacsStringSolver

EXTENDS
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver	-1
org.sat4j.pb.UserFriendlyPBStringSolver	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.UserFriendlyPBStringSolver.UserFriendlyPBStringSolver()	-1
org.sat4j.pb.UserFriendlyPBStringSolver.UserFriendlyPBStringSolver(int)	-1

org.sat4j.tools.GateTranslator

DECLARED_FIELD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.gator	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.DependencyHelper(IPBSolver, boolean)	-1

org.sat4j.tools.SolverDecorator

EXTENDS
Reference Location	Line Number
org.sat4j.pb.PBSolverDecorator	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.PBSolverDecorator.PBSolverDecorator(IPBSolver)	-1

org.sat4j.tools.xplain.Xplain

EXTENDS
Reference Location	Line Number
org.sat4j.pb.tools.XplainPB	-1
INSTANTIATION
Reference Location	Line Number
org.sat4j.pb.tools.XplainPB.XplainPB(IPBSolver)	-1

Back to reference summary for org.sat4j.pb

Types from org.sat4j.core used by org.sat4j.pb