From e762d6be22e3b4e47cb9d26c23f90d0a224113b6 Mon Sep 17 00:00:00 2001 From: Tiago Gomes Date: Tue, 30 Oct 2012 16:00:20 +0000 Subject: [PATCH] tweak colors --- packages/CLPBN/horus/LiftedCircuit.cpp | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/packages/CLPBN/horus/LiftedCircuit.cpp b/packages/CLPBN/horus/LiftedCircuit.cpp index fe40bee48..e31f13c79 100644 --- a/packages/CLPBN/horus/LiftedCircuit.cpp +++ b/packages/CLPBN/horus/LiftedCircuit.cpp @@ -515,6 +515,7 @@ LiftedCircuit::smoothCircuit (CircuitNode* node) } case CircuitNodeType::SET_OR_NODE: { + // TODO break; } @@ -540,11 +541,7 @@ LiftedCircuit::smoothCircuit (CircuitNode* node) case CircuitNodeType::LEAF_NODE: { propagatingLids.insert (node->clauses()[0].literals()[0].lid()); } - - // case CircuitNodeType::SMOOTH_NODE: - // case CircuitNodeType::TRUE_NODE: - // case CircuitNodeType::COMPILATION_FAILED_NODE: - + default: break; } @@ -720,12 +717,12 @@ LiftedCircuit::exportToGraphViz (CircuitNode* node, ofstream& os) } case LEAF_NODE: { - printClauses (node, os); + printClauses (node, os, "style=filled,fillcolor=palegreen,"); break; } case SMOOTH_NODE: { - printClauses (node, os, "style=filled,fillcolor=chartreuse,"); + printClauses (node, os, "style=filled,fillcolor=lightblue,"); break; } @@ -737,7 +734,7 @@ LiftedCircuit::exportToGraphViz (CircuitNode* node, ofstream& os) } case COMPILATION_FAILED_NODE: { - printClauses (node, os, "style=filled,fillcolor=brown1,"); + printClauses (node, os, "style=filled,fillcolor=salmon,"); break; }