Serializing circuit encoding

[satune.git] / src / Backend / orderpair.cc

diff --git a/src/Backend/orderpair.cc b/src/Backend/orderpair.cc
index abe29cc64bf6144e80d0b7c072053b51bf98ed28..e778247a22915252422c671cf2fb5aae0de041e1 100644 (file)
--- a/src/Backend/orderpair.cc
+++ b/src/Backend/orderpair.cc
@@ -15,21 +15,21 @@ OrderPair::OrderPair() :
        constraint(E_NULL) {
 }
 
-OrderPair::~OrderPair(){
+OrderPair::~OrderPair() {
 }
 
-Edge OrderPair::getConstraint(){
+Edge OrderPair::getConstraint() {
        return constraint;
 }
 
-Edge OrderPair::getNegatedConstraint(){
+Edge OrderPair::getNegatedConstraint() {
        return constraintNegate(constraint);
 }
 
-bool OrderPair::getConstraintValue(CSolver* solver){
+bool OrderPair::getConstraintValue(CSolver *solver) {
        return getValueCNF(solver->getSATEncoder()->getCNF(), constraint);
 }
 
-bool OrderPair::getNegatedConstraintValue(CSolver* solver){
+bool OrderPair::getNegatedConstraintValue(CSolver *solver) {
        return getValueCNF(solver->getSATEncoder()->getCNF(), constraintNegate(constraint));
 }