, 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] |
| 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] |
| 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(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::MaxWalkSAT | [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::MaxWalkSAT | [inline, protected] |
| 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::MaxWalkSAT | [inline, protected] |
