, including all inherited members.
addBottleneck(GroundAtom ga, Constraint c) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
addGAOccurrence(GroundAtom ga, Constraint c) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
addUnsatisfiedConstraint(Constraint c) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
alternativeMethod | edu::tum::cs::logic::sat::weighted::MaxWalkSATRoom | |
bestState | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
bottlenecks | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
cl2Formula | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
clFormula | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
countUnsCon | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
deltaCost(GroundAtom gndAtom) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
deltaCostCalcMethod | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
deltaCostConAndForm(GroundAtom gndAtom) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
deltaCostFormula(GroundAtom gndAtom) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
evidence | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
evidenceHandler | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
flipGndAtom(GroundAtom gndAtom) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
flips | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
formula2clauses | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
formula2satClause | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
formula2weight | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
GAOccurrences | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
getBestState() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
getP() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
getState() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
getStep() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
greedyMoves | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
initFormulaState() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
lastMinStep | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
maxSteps | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
MaxWalkSAT(WeightedClausalKB kb, PossibleWorld state, WorldVariables vars, Database evidence) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
MaxWalkSATRoom(WeightedClausalKB kb, PossibleWorld state, WorldVariables vars, Database evidence) | edu::tum::cs::logic::sat::weighted::MaxWalkSATRoom | [inline] |
minSum | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [package] |
nonEvidenceGndAtomIndices | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
p | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
pickAndFlipVar(Collection< GroundAtom > candidates) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
printBestState() | edu::tum::cs::logic::sat::weighted::MaxWalkSATRoom | [inline] |
edu::tum::cs::logic::sat::weighted::MaxWalkSAT::printBestState(PrintStream fr) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
printunsCons() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
rand | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
randomlyChosen() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
run() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
SAMove() | edu::tum::cs::logic::sat::weighted::MaxWalkSATRoom | [inline, protected] |
SAMoves | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
setDeltaCostCalcMethod(int deltaCostCalcMethod) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
setMaxSteps(int steps) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
setP(double p) | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline] |
setState() | edu::tum::cs::logic::sat::weighted::MaxWalkSATRoom | [inline] |
state | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
step | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | |
unsatisfiedConstraints | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
unsatisfiedSum() | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [inline, protected] |
unsSum | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
unsSumBeta | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
vars | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
verbose | edu::tum::cs::logic::sat::weighted::MaxWalkSAT | [protected] |
walkSATMove() | edu::tum::cs::logic::sat::weighted::MaxWalkSATRoom | [inline, protected] |