Fix typos
This commit is contained in:
parent
acb4bf610f
commit
be24ff5160
@ -35,7 +35,7 @@ typedef unsigned long long ullong;
|
|||||||
|
|
||||||
|
|
||||||
enum LiftedSolverType {
|
enum LiftedSolverType {
|
||||||
lveSolver, // generalized counting first-order variable elimination (GC-FOveSolver)
|
lveSolver, // generalized counting first-order variable elimination (GC-FOVE)
|
||||||
lbpSolver, // lifted first-order belief propagation
|
lbpSolver, // lifted first-order belief propagation
|
||||||
lkcSolver // lifted first-order knowledge compilation
|
lkcSolver // lifted first-order knowledge compilation
|
||||||
};
|
};
|
||||||
|
@ -149,7 +149,7 @@ LiftedOperations::absorveEvidence (
|
|||||||
}
|
}
|
||||||
if (Globals::verbosity > 2 && obsFormulas.empty() == false) {
|
if (Globals::verbosity > 2 && obsFormulas.empty() == false) {
|
||||||
Util::printAsteriskLine();
|
Util::printAsteriskLine();
|
||||||
std::cout << "AFTER EVIDENCE ABSORveSolverD" << std::endl;
|
std::cout << "AFTER EVIDENCE ABSORVED" << std::endl;
|
||||||
for (size_t i = 0; i < obsFormulas.size(); i++) {
|
for (size_t i = 0; i < obsFormulas.size(); i++) {
|
||||||
std::cout << " -> " << obsFormulas[i] << std::endl;
|
std::cout << " -> " << obsFormulas[i] << std::endl;
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user