Reference Details

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

Reference Details

org.sat4j.AbstractLauncher.configureSolver(String[])

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.configureSolver(String[])	-1

org.sat4j.AbstractLauncher.createReader(ISolver, String)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.createReader(ISolver, String)	-1

org.sat4j.AbstractLauncher.getExitCode()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.main(String[])	-1
org.sat4j.pb.LanceurPseudo2007.main(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.main(String[])	-1

org.sat4j.AbstractLauncher.getInstanceName(String[])

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.getInstanceName(String[])	-1

org.sat4j.AbstractLauncher.log(String)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()	-1

org.sat4j.AbstractLauncher.run(String[])

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.main(String[])	-1
org.sat4j.pb.LanceurPseudo2007.main(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.main(String[])	-1

org.sat4j.AbstractLauncher.showAvailableSolvers(ASolverFactory)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.usage()	-1

org.sat4j.AbstractLauncher.usage()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.usage()	-1
VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2007.main(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.main(String[])	-1

org.sat4j.AbstractOptimizationLauncher.AbstractOptimizationLauncher()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.LanceurPseudo2005()	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.LanceurPseudo2005()	-1

org.sat4j.AbstractOptimizationLauncher.displayAnswer()

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()	-1

org.sat4j.core.ASolverFactory.ASolverFactory()

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

org.sat4j.core.ASolverFactory.createSolverByName(String)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.configureSolver(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.configureSolver(String[])	-1

org.sat4j.core.LiteralsUtils.neg(int)

INVOKED_STATIC
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.core.LiteralsUtils.var(int)

INVOKED_STATIC
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.core.ReadOnlyVec.ReadOnlyVec(IVec)

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

org.sat4j.core.ReadOnlyVecInt.ReadOnlyVecInt(IVecInt)

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

org.sat4j.core.Vec.Vec()

CONSTRUCTOR_METHOD
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.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.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.Vec.Vec(int)

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.Pseudos.toVecBigInt(IVecInt)	-1
org.sat4j.pb.tools.DependencyHelper.createObjectivetiveFunctionIfNeeded(int)	-1

org.sat4j.core.VecInt.contains(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.changeCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.decreaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.getLevelByLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.increaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.removeCoef(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.ConflictMap.setCoef(int, BigInteger)	-1

org.sat4j.core.VecInt.isEmpty()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.getBacktrackLevel(int)	-1

org.sat4j.core.VecInt.iterator()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.getBacktrackLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.updateSlack(int)	-1

org.sat4j.core.VecInt.push(int)

VIRTUAL_METHOD
Reference Location	Line Number
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.core.VecInt.remove(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.removeCoef(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	-1

org.sat4j.core.VecInt.VecInt()

CONSTRUCTOR_METHOD
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.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.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.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.atMost(int, T[])	-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.implication(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.core.VecInt.VecInt(int, int)

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1

org.sat4j.core.VecInt.VecInt(int)

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.WatchPb.computeAnImpliedClause()	-1
org.sat4j.pb.PseudoIteratorDecorator.discardCurrentSolution()	-1
org.sat4j.pb.tools.DependencyHelper.and(C, T, 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.iff(C, T, T[])	-1
org.sat4j.pb.tools.DependencyHelper.or(C, T, T[])	-1

org.sat4j.core.VecInt.VecInt(int[])

CONSTRUCTOR_METHOD
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.ExitCode.value()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.main(String[])	-1
org.sat4j.pb.LanceurPseudo2007.main(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.main(String[])	-1

org.sat4j.minisat.constraints.AbstractDataStructureFactory.AbstractDataStructureFactory()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.AbstractPBDataStructureFactory()	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.AbstractPBDataStructureFactory()	-1

org.sat4j.minisat.constraints.AbstractDataStructureFactory.createCardinalityConstraint(IVecInt, int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createCardinalityConstraint(IVecInt, int)	-1

org.sat4j.minisat.constraints.AbstractDataStructureFactory.createLits()

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

org.sat4j.minisat.constraints.AbstractDataStructureFactory.getVocabulary()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.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.createClause(IVecInt)	-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.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructClause(IVecInt)	-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.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructLearntClause(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.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.PBMaxCBClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure.constructCard(IVecInt, int)	-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.PBMaxDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure.constructLearntPB(IDataStructurePB)	-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.PBMinDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure.constructCard(IVecInt, int)	-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.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-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.constraints.PuebloPBMinDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.PuebloPBMinDataStructure.learntConstraintFactory(IDataStructurePB)	-1

org.sat4j.minisat.constraints.card.AtLeast.assertConstraint(UnitPropagationListener)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.card.AtLeast.AtLeast(ILits, IVecInt, int)

SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.AtLeastPB(ILits, IVecInt, int)	-1

org.sat4j.minisat.constraints.card.AtLeast.atLeastNew(UnitPropagationListener, ILits, IVecInt, int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.atLeastNew(UnitPropagationListener, ILits, IVecInt, int)	-1

org.sat4j.minisat.constraints.card.AtLeast.get(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.card.AtLeast.learnt()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.learnt()	-1

org.sat4j.minisat.constraints.card.AtLeast.register()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.register()	-1

org.sat4j.minisat.constraints.card.AtLeast.setLearnt()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.setLearnt()	-1

org.sat4j.minisat.constraints.card.AtLeast.size()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.AtLeastPB.getCoefs()	-1
org.sat4j.pb.constraints.pb.AtLeastPB.getLits()	-1
org.sat4j.pb.constraints.pb.AtLeastPB.getLits()	-1

org.sat4j.minisat.constraints.card.MinWatchCard.assertConstraint(UnitPropagationListener)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.card.MinWatchCard.computePropagation(UnitPropagationListener)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1

org.sat4j.minisat.constraints.card.MinWatchCard.computeWatches()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.register()	-1

org.sat4j.minisat.constraints.card.MinWatchCard.get(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.card.MinWatchCard.getVocabulary()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.card.MinWatchCard.learnt()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.learnt()	-1

org.sat4j.minisat.constraints.card.MinWatchCard.MinWatchCard(ILits, IVecInt, boolean, int)

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntCard(IDataStructurePB)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntCard(IDataStructurePB)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, boolean, int)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, boolean, int)	-1

org.sat4j.minisat.constraints.card.MinWatchCard.MinWatchCard(ILits, IVecInt, int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, int)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.MinWatchCardPB(ILits, IVecInt, int)	-1

org.sat4j.minisat.constraints.card.MinWatchCard.minWatchCardNew(UnitPropagationListener, ILits, IVecInt, boolean, int)

INVOKED_STATIC
Reference Location	Line Number
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructCard(IVecInt, int)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructCard(IVecInt, int)	-1

org.sat4j.minisat.constraints.card.MinWatchCard.register()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.register()	-1

org.sat4j.minisat.constraints.card.MinWatchCard.setLearnt()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.setLearnt()	-1

org.sat4j.minisat.constraints.card.MinWatchCard.size()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.getCoefs()	-1

org.sat4j.minisat.constraints.cnf.BinaryClause.register()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1

org.sat4j.minisat.constraints.cnf.BinaryClause.size()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntBinaryClausePB.getCoefs()	-1
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.getCoefs()	-1

org.sat4j.minisat.constraints.cnf.CBClause.assertConstraint(UnitPropagationListener)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.cnf.CBClause.get(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.cnf.CBClause.register()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1

org.sat4j.minisat.constraints.cnf.CBClause.size()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.getCoefs()	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.getLits()	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.getLits()	-1

org.sat4j.minisat.constraints.cnf.Clauses.sanityCheck(IVecInt, ILits, UnitPropagationListener)

INVOKED_STATIC
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constraintFactory(int[], BigInteger[], BigInteger)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createClause(IVecInt)	-1

org.sat4j.minisat.constraints.cnf.HTClause.assertConstraint(UnitPropagationListener)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.cnf.HTClause.getVocabulary()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.constraints.cnf.HTClause.size()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntHTClausePB.getCoefs()	-1
org.sat4j.pb.constraints.pb.OriginalHTClausePB.getCoefs()	-1

org.sat4j.minisat.constraints.cnf.LearntBinaryClause.LearntBinaryClause(IVecInt, ILits)

CONSTRUCTOR_METHOD
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
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntBinaryClausePB.LearntBinaryClausePB(IVecInt, ILits)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntBinaryClausePB.LearntBinaryClausePB(IVecInt, ILits)	-1

org.sat4j.minisat.constraints.cnf.LearntHTClause.LearntHTClause(IVecInt, ILits)

CONSTRUCTOR_METHOD
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
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntHTClausePB.LearntHTClausePB(IVecInt, ILits)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.LearntHTClausePB.LearntHTClausePB(IVecInt, ILits)	-1

org.sat4j.minisat.constraints.cnf.Lits.Lits()

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

org.sat4j.minisat.constraints.cnf.Lits.toString(int)

INVOKED_STATIC
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.toString()	-1
org.sat4j.pb.constraints.pb.MapPb.toString()	-1
org.sat4j.pb.constraints.pb.WatchPb.toString()	-1

org.sat4j.minisat.constraints.cnf.MixableCBClause.brandNewClause(UnitPropagationListener, ILits, IVecInt)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1

org.sat4j.minisat.constraints.cnf.MixableCBClause.MixableCBClause(IVecInt, ILits, boolean)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits, boolean)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits, boolean)	-1

org.sat4j.minisat.constraints.cnf.MixableCBClause.MixableCBClause(IVecInt, ILits)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MixableCBClausePB.MixableCBClausePB(IVecInt, ILits)	-1

org.sat4j.minisat.constraints.cnf.OriginalBinaryClause.brandNewClause(UnitPropagationListener, ILits, IVecInt)

INVOKED_STATIC
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1

org.sat4j.minisat.constraints.cnf.OriginalBinaryClause.OriginalBinaryClause(IVecInt, ILits)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.OriginalBinaryClausePB(IVecInt, ILits)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB.OriginalBinaryClausePB(IVecInt, ILits)	-1

org.sat4j.minisat.constraints.cnf.OriginalHTClause.brandNewClause(UnitPropagationListener, ILits, IVecInt)

INVOKED_STATIC
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalHTClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1

org.sat4j.minisat.constraints.cnf.OriginalHTClause.OriginalHTClause(IVecInt, ILits)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalHTClausePB.OriginalHTClausePB(IVecInt, ILits)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalHTClausePB.OriginalHTClausePB(IVecInt, ILits)	-1

org.sat4j.minisat.constraints.cnf.OriginalHTClause.register()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.OriginalHTClausePB.brandNewClause(UnitPropagationListener, ILits, IVecInt)	-1

org.sat4j.minisat.constraints.cnf.UnitClause.UnitClause(int)

CONSTRUCTOR_METHOD
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
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.UnitClausePB.UnitClausePB(int, ILits)	-1

org.sat4j.minisat.core.DataStructureFactory.createClause(IVecInt)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.minisat.core.Heap.increase(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.minisat.core.Heap.inHeap(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.minisat.core.Heap.insert(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.minisat.core.ILits.belongsToPool(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.minisat.core.ILits.getFromPool(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.minisat.core.ILits.getLevel(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.changeCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.computeSlack(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.decreaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.decreaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.getBacktrackLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.increaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.increaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.initStructures()	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteralOrdered(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.oldGetBacktrackLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.oldGetBacktrackLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.oldIsAssertive(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.removeCoef(int)	-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.ConflictMap.toString()	-1
org.sat4j.pb.constraints.pb.MinWatchPb.watchMoreForLearntConstraint()	-1
org.sat4j.pb.constraints.pb.WatchPb.isAssertive(int)	-1
org.sat4j.pb.constraints.pb.WatchPb.isAssertive(int)	-1
org.sat4j.pb.constraints.pb.WatchPb.toString()	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1

org.sat4j.minisat.core.ILits.getReason(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.WatchPb.locked()	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1

org.sat4j.minisat.core.ILits.isFalsified(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.changeCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.computeSlack(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.decreaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.getBacktrackLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.increaseCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.initStructures()	-1
org.sat4j.pb.constraints.pb.ConflictMap.removeCoef(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.setCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.slackConflict()	-1
org.sat4j.pb.constraints.pb.ConflictMap.updateSlack(int)	-1
org.sat4j.pb.constraints.pb.ConflictMapClause.reduceUntilConflict(int, int, BigInteger[], WatchPb)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.remove(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MinWatchPb.updateWatched(BigInteger, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.watchMoreForLearntConstraint()	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.updateWatched(BigInteger, int)	-1
org.sat4j.pb.constraints.pb.WatchPb.calcReason(int, IVecInt)	-1
org.sat4j.pb.constraints.pb.WatchPb.isAssertive(int)	-1
org.sat4j.pb.constraints.pb.WatchPb.recalcLeftSide(BigInteger[])	-1

org.sat4j.minisat.core.ILits.isSatisfied(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.reduceInConstraint(WatchPb, BigInteger[], int, BigInteger)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.WatchPb.simplify()	-1

org.sat4j.minisat.core.ILits.isUnassigned(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteralOrdered(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.oldIsAssertive(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.reduceInConstraint(WatchPb, BigInteger[], int, BigInteger)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-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.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.WatchPb.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.WatchPb.isAssertive(int)	-1

org.sat4j.minisat.core.ILits.nVars()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1

org.sat4j.minisat.core.ILits.undos(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MaxWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.propagate(UnitPropagationListener, int)	-1

org.sat4j.minisat.core.ILits.valueToString(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.toString()	-1
org.sat4j.pb.constraints.pb.WatchPb.toString()	-1

org.sat4j.minisat.core.ILits.watch(int, Propagatable)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MaxWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MinWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.undo(int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.updateWatched(BigInteger, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.watchMoreForLearntConstraint()	-1
org.sat4j.pb.constraints.pb.PuebloMinWatchPb.updateWatched(BigInteger, int)	-1

org.sat4j.minisat.core.ILits.watches(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MaxWatchPb.remove(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.remove(UnitPropagationListener)	-1

org.sat4j.minisat.core.IPhaseSelectionStrategy.init(int, int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.minisat.core.SearchParams.SearchParams(double, int)

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.core.PBSolverCP.PBSolverCP(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder)	-1

org.sat4j.minisat.core.Solver.addConstr(Constr)

VIRTUAL_METHOD
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.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.minisat.core.Solver.analyze(Constr, Pair)

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

org.sat4j.minisat.core.Solver.decisionLevel()

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

org.sat4j.minisat.core.Solver.dimacs2internal(IVecInt)

VIRTUAL_METHOD
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.minisat.core.Solver.getDSFactory()

VIRTUAL_METHOD
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.core.Solver.getOrder()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.core.PBSolver.setObjectiveFunction(ObjectiveFunction)	-1

org.sat4j.minisat.core.Solver.setSimplifier(SolverISimplifier)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newCompetPBResHTMixedConstraintsObjectiveExpSimp()	-1
org.sat4j.pb.SolverFactory.newCompetPBResMinHTMixedConstraintsObjectiveExpSimp()	-1
org.sat4j.pb.SolverFactory.newCompetPBResMixedConstraintsObjectiveExpSimp()	-1
org.sat4j.pb.SolverFactory.newPBResHTMixedConstraintsObjectiveExpSimp()	-1

org.sat4j.minisat.core.Solver.setTimeoutOnConflicts(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.SolverFactory.newEclipseP2()	-1

org.sat4j.minisat.core.Solver.Solver(AssertingClauseGenerator, LearningStrategy, D, IOrder, RestartStrategy)

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

org.sat4j.minisat.core.Solver.Solver(AssertingClauseGenerator, LearningStrategy, D, SearchParams, IOrder, RestartStrategy)

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

org.sat4j.minisat.core.Solver.toString(String)

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.core.PBSolverCP.toString(String)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.core.PBSolverCP.toString(String)	-1

org.sat4j.minisat.core.Solver.undoOne()

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

org.sat4j.minisat.core.UnitPropagationListener.enqueue(int, Constr)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.AtLeastPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.LearntHTClausePB.assertConstraint(UnitPropagationListener)	-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.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.computePropagation(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MixableCBClausePB.assertConstraint(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.WatchPb.assertConstraint(UnitPropagationListener)	-1

org.sat4j.minisat.core.UnitPropagationListener.enqueue(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1

org.sat4j.minisat.core.VarActivityListener.varBumpActivity(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener)	-1

org.sat4j.minisat.learning.AbstractLearning.setSolver(Solver)

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

org.sat4j.minisat.learning.AbstractLearning.setVarActivityListener(VarActivityListener)

VIRTUAL_METHOD
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.newPBCPMixedConstraintsObjectiveNoLearning()	-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.ClauseOnlyLearning.ClauseOnlyLearning()

CONSTRUCTOR_METHOD
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.LimitedLearning.setSolver(Solver)

VIRTUAL_METHOD
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.MiniSATLearning()

CONSTRUCTOR_METHOD
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.MiniSATLearning.setDataStructureFactory(DataStructureFactory)

VIRTUAL_METHOD
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.NoLearningButHeuristics()

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

org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy.PhaseInLastLearnedClauseSelectionStrategy()

CONSTRUCTOR_METHOD
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.RSATPhaseSelectionStrategy()

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

org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy.UserFixedPhaseSelectionStrategy()

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

org.sat4j.minisat.orders.VarOrderHeap.init()

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1

org.sat4j.minisat.orders.VarOrderHeap.toString()

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.toString()	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.toString()	-1

org.sat4j.minisat.orders.VarOrderHeap.VarOrderHeap()

CONSTRUCTOR_METHOD
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
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.VarOrderHeapObjective()	-1

org.sat4j.minisat.orders.VarOrderHeap.VarOrderHeap(IPhaseSelectionStrategy)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.VarOrderHeapObjective(IPhaseSelectionStrategy)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.orders.VarOrderHeapObjective.VarOrderHeapObjective(IPhaseSelectionStrategy)	-1

org.sat4j.minisat.restarts.MiniSATRestarts.MiniSATRestarts()

CONSTRUCTOR_METHOD
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.FirstUIP()

CONSTRUCTOR_METHOD
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.decode(int[], PrintWriter)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.decode(int[], PrintWriter)	-1

org.sat4j.reader.InstanceReader.decode(int[])

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.decode(int[])	-1

org.sat4j.reader.InstanceReader.InstanceReader(ISolver)

SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.PBInstanceReader(IPBSolver)	-1

org.sat4j.reader.InstanceReader.parseInstance(Reader)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.parseInstance(Reader)	-1

org.sat4j.reader.InstanceReader.parseInstance(String)

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.parseInstance(String)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.parseInstance(String)	-1

org.sat4j.reader.ParseFormatException.ParseFormatException(String)

CONSTRUCTOR_METHOD
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.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.reader.ParseFormatException.ParseFormatException(Throwable)

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.parseInstance(LineNumberReader)	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1

org.sat4j.reader.Reader.decode(int[], PrintWriter)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.decode(int[], PrintWriter)	-1
VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.decode(int[], PrintWriter)	-1

org.sat4j.reader.Reader.decode(int[])

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.decode(int[])	-1
VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.decode(int[])	-1

org.sat4j.reader.Reader.parseInstance(InputStream)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.parseInstance(String)	-1

org.sat4j.reader.Reader.parseInstance(Reader)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.parseInstance(Reader)	-1

org.sat4j.reader.Reader.parseInstance(String)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.PBInstanceReader.parseInstance(String)	-1

org.sat4j.reader.Reader.Reader()

SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.OPBReader2005(IPBSolver)	-1

org.sat4j.specs.ContradictionException.ContradictionException()

CONSTRUCTOR_METHOD
Reference Location	Line Number
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.specs.ContradictionException.ContradictionException(String)

CONSTRUCTOR_METHOD
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.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

org.sat4j.specs.IConstr.get(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, 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[], BigInteger, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener)	-1

org.sat4j.specs.IConstr.size()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener)	-1
org.sat4j.pb.constraints.pb.MapPb.cuttingPlane(PBConstr, BigInteger, BigInteger[], BigInteger, VarActivityListener)	-1

org.sat4j.specs.IOptimizationProblem.admitABetterSolution()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable()	-1

org.sat4j.specs.IOptimizationProblem.admitABetterSolution(IVecInt)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.OptToPBSATAdapter.model()	-1
org.sat4j.pb.OptToPBSATAdapter.model()	-1

org.sat4j.specs.IOptimizationProblem.discardCurrentSolution()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.model()	-1

org.sat4j.specs.IOptimizationProblem.hasNoObjectiveFunction()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable()	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.OptToPBSATAdapter.model()	-1

org.sat4j.specs.IProblem.isSatisfiable()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable()	-1
org.sat4j.pb.tools.DependencyHelper.hasASolution()	-1

org.sat4j.specs.IProblem.isSatisfiable(IVecInt)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.tools.DependencyHelper.hasASolution(Collection)	-1
org.sat4j.pb.tools.DependencyHelper.hasASolution(IVec)	-1

org.sat4j.specs.IProblem.model()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.model()	-1
org.sat4j.pb.OptToPBSATAdapter.model()	-1
org.sat4j.pb.tools.DependencyHelper.getSolution()	-1
org.sat4j.pb.tools.DependencyHelper.getSolutionCost()	-1

org.sat4j.specs.IProblem.model(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.model(int)	-1
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.tools.DependencyHelper.getBooleanValueFor(T)	-1

org.sat4j.specs.ISolver.addAtMost(IVecInt, int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.atMost(int, T[])	-1

org.sat4j.specs.ISolver.addClause(IVecInt)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1
org.sat4j.pb.tools.DependencyHelper.discard(IVec)	-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.pb.tools.ImplicationRHS.implies(T[])	-1

org.sat4j.specs.ISolver.expireTimeout()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.stopSolver()	-1

org.sat4j.specs.ISolver.newVar(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.metaData(int, int)	-1

org.sat4j.specs.ISolver.nextFreeVarId(boolean)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.getIntValue(T)	-1

org.sat4j.specs.ISolver.removeConstr(IConstr)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1

org.sat4j.specs.ISolver.reset()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2005.parseInstance(LineNumberReader)	-1

org.sat4j.specs.ISolver.setTimeout(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.configureSolver(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.configureSolver(String[])	-1

org.sat4j.specs.ISolver.toString(String)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2005.configureSolver(String[])	-1
org.sat4j.pb.LanceurPseudo2007Eclipse.configureSolver(String[])	-1

org.sat4j.specs.IteratorInt.hasNext()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.getBacktrackLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.updateSlack(int)	-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.tools.DisjunctionRHS.implies(T[])	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtLeast(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addClause(IVecInt)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addClause(IVecInt)	-1

org.sat4j.specs.IteratorInt.next()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.ConflictMap.getBacktrackLevel(int)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.updateSlack(int)	-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.tools.DisjunctionRHS.implies(T[])	-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.IVec.clear()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MapPb.buildConstraintFromConflict(IVecInt, IVec)	-1
org.sat4j.pb.core.PBSolverCP.initExplanation()	-1
org.sat4j.pb.core.PBSolverCP.initExplanation()	-1
org.sat4j.pb.reader.OPBReader2005.beginConstraint()	-1

org.sat4j.specs.IVec.copyTo(E[])

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.1.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.copyCoefs(BigInteger[])	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1

org.sat4j.specs.IVec.copyTo(IVec)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.copyCoefs(IVec)	-1

org.sat4j.specs.IVec.delete(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.remove(int)	-1

org.sat4j.specs.IVec.get(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.get(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.getCoef(int)	-1
org.sat4j.pb.ObjectiveFunction.calculateDegree(int[])	-1
org.sat4j.pb.ObjectiveFunction.toString()	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.tools.DependencyHelper.getObjectiveFunction()	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.specs.IVec.growTo(int, T)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1

org.sat4j.specs.IVec.iterator()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(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.ImplicationAnd.named(C)	-1
org.sat4j.pb.tools.ImplicationNamer.named(C)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.specs.IVec.last()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1

org.sat4j.specs.IVec.pop()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1

org.sat4j.specs.IVec.push(T)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.put(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.computeWatches()	-1
org.sat4j.pb.constraints.pb.MaxWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.propagate(UnitPropagationListener, int)	-1
org.sat4j.pb.constraints.pb.Pseudos.toVecBigInt(IVecInt)	-1
org.sat4j.pb.reader.OPBReader2005.constraintTerm(BigInteger, String)	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.tools.DependencyHelper.addToObjectiveFunction(T, BigInteger)	-1
org.sat4j.pb.tools.DependencyHelper.atMost(int, T[])	-1
org.sat4j.pb.tools.DependencyHelper.getSolution()	-1
org.sat4j.pb.tools.DependencyHelper.setObjectiveFunction(WeightedObject[])	-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.pb.tools.ImplicationRHS.implies(T[])	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.specs.IVec.remove(T)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MaxWatchPb.remove(UnitPropagationListener)	-1
org.sat4j.pb.constraints.pb.MinWatchPb.remove(UnitPropagationListener)	-1

org.sat4j.specs.IVec.set(int, T)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.changeCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.put(int, BigInteger)	-1

org.sat4j.specs.IVec.size()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.1.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.changeCoef(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.getCoef(int)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, 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.niceParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-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.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.reader.OPBReader2005.beginConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.endConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.endConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.reader.OPBReader2007.readTerm(StringBuffer, StringBuffer)	-1
org.sat4j.pb.tools.DependencyHelper.discard(IVec)	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.specs.IVec.sort(Comparator)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1

org.sat4j.specs.IVecInt.clear()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.MapPb.buildConstraintFromConflict(IVecInt, IVec)	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable()	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.reader.OPBReader2005.beginConstraint()	-1
org.sat4j.pb.reader.OPBReader2007.linearizeProduct(IVec)	-1

org.sat4j.specs.IVecInt.copyTo(int[])

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.1.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.copyLits(int[])	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1

org.sat4j.specs.IVecInt.copyTo(IVecInt)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.copyLits(IVecInt)	-1
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.tools.ImplicationAnd.and(T)	-1
org.sat4j.pb.tools.ImplicationAnd.andNot(T)	-1

org.sat4j.specs.IVecInt.delete(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.remove(int)	-1

org.sat4j.specs.IVecInt.get(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(BigInteger)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.containsKey(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.get(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.get(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.getLit(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.put(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.remove(int)	-1
org.sat4j.pb.constraints.pb.MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int, boolean)	-1
org.sat4j.pb.constraints.pb.Pseudos.toVecBigInt(IVecInt)	-1
org.sat4j.pb.ObjectiveFunction.calculateDegree(int[])	-1
org.sat4j.pb.ObjectiveFunction.calculateDegree(int[])	-1
org.sat4j.pb.ObjectiveFunction.toString()	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.tools.DependencyHelper.getObjectiveFunction()	-1
org.sat4j.pb.tools.DependencyHelper.getObjectiveFunction()	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.specs.IVecInt.iterator()

INTERFACE_METHOD
Reference Location	Line Number
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.tools.DisjunctionRHS.implies(T[])	-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.IVecInt.last()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.remove(int)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1

org.sat4j.specs.IVecInt.moveTo(IVecInt)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.reader.OPBEclipseReader2007.getListOfVariables()	-1

org.sat4j.specs.IVecInt.pop()

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

org.sat4j.specs.IVecInt.push(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.put(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.WatchPb.calcReason(int, IVecInt)	-1
org.sat4j.pb.constraints.pb.WatchPb.computeAnImpliedClause()	-1
org.sat4j.pb.PseudoIteratorDecorator.discardCurrentSolution()	-1
org.sat4j.pb.reader.OPBEclipseReader2007.readVariablesExplanation()	-1
org.sat4j.pb.reader.OPBReader2005.constraintTerm(BigInteger, String)	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.reader.OPBReader2007.literalInAProduct(String, IVecInt)	-1
org.sat4j.pb.reader.OPBReader2007.negateLiteralInAProduct(String, IVecInt)	-1
org.sat4j.pb.tools.DependencyHelper.addToObjectiveFunction(T, BigInteger)	-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.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.setObjectiveFunction(WeightedObject[])	-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.DisjunctionRHS.implies(T[])	-1
org.sat4j.pb.tools.ImplicationAnd.and(T)	-1
org.sat4j.pb.tools.ImplicationAnd.andNot(T)	-1
org.sat4j.pb.tools.ImplicationRHS.implies(T[])	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.specs.IVecInt.remove(int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DisjunctionRHS.implies(T[])	-1

org.sat4j.specs.IVecInt.set(int, int)

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.learntConstraintFactory(IDataStructurePB)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.put(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.remove(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.remove(int)	-1

org.sat4j.specs.IVecInt.size()

INTERFACE_METHOD
Reference Location	Line Number
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.1.nice(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory.constructLearntClause(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.CompetPBMaxMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.getLit(int)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.InternalMapPBStructure(PBConstr)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.put(int, BigInteger)	-1
org.sat4j.pb.constraints.pb.InternalMapPBStructure.size()	-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.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.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, ILits)	-1
org.sat4j.pb.constraints.pb.Pseudos.niceCheckedParameters(IVecInt, IVec, boolean, BigInteger, 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.niceParameters(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.Pseudos.toVecBigInt(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructClause(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure.constructLearntClause(IVecInt)	-1
org.sat4j.pb.core.PBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.core.PBSolverWithImpliedClause.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.ObjectiveFunction.calculateDegree(int[])	-1
org.sat4j.pb.ObjectiveFunction.toString()	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.OPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.orders.VarOrderHeapObjective.init()	-1
org.sat4j.pb.reader.OPBReader2005.beginConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.endConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.endConstraint()	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.reader.OPBReader2005.endObjective()	-1
org.sat4j.pb.tools.DependencyHelper.getObjectiveFunction()	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.tools.DimacsOutputSolver.DimacsOutputSolver()

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

org.sat4j.tools.DimacsStringSolver.addAtLeast(IVecInt, int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.addAtLeast(IVecInt, int)	-1

org.sat4j.tools.DimacsStringSolver.addAtMost(IVecInt, int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.addAtMost(IVecInt, int)	-1

org.sat4j.tools.DimacsStringSolver.addClause(IVecInt)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.addClause(IVecInt)	-1

org.sat4j.tools.DimacsStringSolver.DimacsStringSolver()

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.UserFriendlyPBStringSolver.UserFriendlyPBStringSolver()	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.OPBStringSolver()	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.OPBStringSolver()	-1

org.sat4j.tools.DimacsStringSolver.DimacsStringSolver(int)

CONSTRUCTOR_METHOD
Reference Location	Line Number
org.sat4j.pb.UserFriendlyPBStringSolver.UserFriendlyPBStringSolver(int)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.OPBStringSolver(int)	-1
SUPER_CONSTRUCTORMETHOD
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.OPBStringSolver(int)	-1

org.sat4j.tools.DimacsStringSolver.getOut()

VIRTUAL_METHOD
Reference Location	Line Number
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.newVar(int)	-1
org.sat4j.pb.OPBStringSolver.toString()	-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.newVar(int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.toString()	-1

org.sat4j.tools.DimacsStringSolver.newVar(int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.newVar(int)	-1

org.sat4j.tools.DimacsStringSolver.nVars()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.toString()	-1
org.sat4j.pb.UserFriendlyPBStringSolver.toString()	-1

org.sat4j.tools.DimacsStringSolver.setExpectedNumberOfClauses(int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.setExpectedNumberOfClauses(int)	-1

org.sat4j.tools.DimacsStringSolver.setNbVars(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.newVar(int)	-1
org.sat4j.pb.UserFriendlyPBStringSolver.newVar(int)	-1

org.sat4j.tools.DimacsStringSolver.toString()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.toString()	-1

org.sat4j.tools.DimacsStringSolver.toString(String)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OPBStringSolver.toString(String)	-1

org.sat4j.tools.GateTranslator.and(int, IVecInt)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.and(C, T, T[])	-1

org.sat4j.tools.GateTranslator.gateFalse(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.setFalse(T, C)	-1

org.sat4j.tools.GateTranslator.GateTranslator(ISolver)

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

org.sat4j.tools.GateTranslator.gateTrue(int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.setTrue(T, C)	-1

org.sat4j.tools.GateTranslator.iff(int, IVecInt)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.iff(C, T, T[])	-1

org.sat4j.tools.GateTranslator.ite(int, int, int, int)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.ifThenElse(C, T, T, T, T)	-1

org.sat4j.tools.GateTranslator.or(int, IVecInt)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.or(C, T, T[])	-1

org.sat4j.tools.SolverDecorator.addClause(IVecInt)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.PseudoIteratorDecorator.discardCurrentSolution()	-1
org.sat4j.pb.tools.DependencyHelper.clause(C, T[])	-1

org.sat4j.tools.SolverDecorator.decorated()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.PBSolverDecorator.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.PBSolverDecorator.getObjectiveFunction()	-1
org.sat4j.pb.PBSolverDecorator.setObjectiveFunction(ObjectiveFunction)	-1
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.PseudoOptDecorator.setObjectiveFunction(ObjectiveFunction)	-1
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1
org.sat4j.pb.tools.XplainPB.getObjectiveFunction()	-1
org.sat4j.pb.tools.XplainPB.setObjectiveFunction(ObjectiveFunction)	-1

org.sat4j.tools.SolverDecorator.isSatisfiable()

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable()	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable()	-1

org.sat4j.tools.SolverDecorator.isSatisfiable(boolean)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(boolean)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(boolean)	-1

org.sat4j.tools.SolverDecorator.isSatisfiable(IVecInt, boolean)

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1

org.sat4j.tools.SolverDecorator.isSatisfiable(IVecInt)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt)	-1

org.sat4j.tools.SolverDecorator.model()

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.model()	-1
org.sat4j.pb.PseudoOptDecorator.model()	-1

org.sat4j.tools.SolverDecorator.model(int)

OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.model(int)	-1
org.sat4j.pb.PseudoOptDecorator.model(int)	-1

org.sat4j.tools.SolverDecorator.nVars()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(IVecInt)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1
org.sat4j.pb.PseudoOptDecorator.isSatisfiable(IVecInt, boolean)	-1

org.sat4j.tools.SolverDecorator.removeSubsumedConstr(IConstr)

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator.discardCurrentSolution()	-1

org.sat4j.tools.SolverDecorator.reset()

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator.reset()	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.PseudoOptDecorator.reset()	-1

org.sat4j.tools.SolverDecorator.SolverDecorator(T)

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

org.sat4j.tools.SolverDecorator.toString(String)

INVOKED_SPECIAL
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.toString(String)	-1
org.sat4j.pb.PseudoOptDecorator.toString(String)	-1
OVERRIDE
Reference Location	Line Number
org.sat4j.pb.OptToPBSATAdapter.toString(String)	-1
org.sat4j.pb.PseudoOptDecorator.toString(String)	-1

org.sat4j.tools.xplain.Xplain.cancelExplanation()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.stopExplanation()	-1

org.sat4j.tools.xplain.Xplain.createNewVar(IVecInt)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.tools.xplain.Xplain.discardLastestVar()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.XplainPB.addAtMost(IVecInt, int)	-1
org.sat4j.pb.tools.XplainPB.addPseudoBoolean(IVecInt, IVec, boolean, BigInteger)	-1

org.sat4j.tools.xplain.Xplain.explain()

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.LanceurPseudo2007Eclipse.displayAnswer()	-1
org.sat4j.pb.tools.DependencyHelper.why()	-1

org.sat4j.tools.xplain.Xplain.isSatisfiable(IVecInt)

VIRTUAL_METHOD
Reference Location	Line Number
org.sat4j.pb.tools.DependencyHelper.why(IVecInt)	-1

org.sat4j.tools.xplain.Xplain.Xplain(T)

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

Back to reference summary for org.sat4j.pb

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