Public Member Functions | |
void | addSample (PossibleWorld w, double weight) |
GroundAtomDistribution | clone () throws CloneNotSupportedException |
double | getResult (int indx) |
GroundAtomDistribution (WorldVariables vars) | |
void | normalize () |
Public Attributes | |
int | numSamples |
double[] | sums |
double | Z |
Definition at line 131 of file logic/sat/weighted/MCSAT.java.
edu::tum::cs::logic::sat::weighted::MCSAT::GroundAtomDistribution::GroundAtomDistribution | ( | WorldVariables | vars | ) | [inline] |
Definition at line 136 of file logic/sat/weighted/MCSAT.java.
void edu::tum::cs::logic::sat::weighted::MCSAT::GroundAtomDistribution::addSample | ( | PossibleWorld | w, | |
double | weight | |||
) | [inline] |
Definition at line 142 of file logic/sat/weighted/MCSAT.java.
GroundAtomDistribution edu::tum::cs::logic::sat::weighted::MCSAT::GroundAtomDistribution::clone | ( | ) | throws CloneNotSupportedException [inline] |
Definition at line 165 of file logic/sat/weighted/MCSAT.java.
double edu::tum::cs::logic::sat::weighted::MCSAT::GroundAtomDistribution::getResult | ( | int | indx | ) | [inline] |
Definition at line 161 of file logic/sat/weighted/MCSAT.java.
void edu::tum::cs::logic::sat::weighted::MCSAT::GroundAtomDistribution::normalize | ( | ) | [inline] |
Definition at line 152 of file logic/sat/weighted/MCSAT.java.
Definition at line 134 of file logic/sat/weighted/MCSAT.java.
Definition at line 132 of file logic/sat/weighted/MCSAT.java.
Definition at line 133 of file logic/sat/weighted/MCSAT.java.