src/Encoders/polarityassignment.h

   1 /*
   2  * File:   polarityassignment.h
   3  * Author: hamed
   4  *
   5  * Created on August 6, 2017, 12:18 PM
   6  */
   7
   8 #ifndef POLARITYASSIGNMENT_H
   9 #define POLARITYASSIGNMENT_H
  10 #include "classlist.h"
  11 #include "mymemory.h"
  12 #include "common.h"
  13 #include "ops.h"
  14 #include "boolean.h"
  15
  16 void computePolarities(CSolver* This);
  17 void updatePolarity(Boolean *This, Polarity polarity);
  18 void updateMustValue(Boolean *This, BooleanValue value);
  19 void computePolarityAndBooleanValue(Boolean* boolean);
  20 void computePredicatePolarityAndBooleanValue(BooleanPredicate* This);
  21 void computeLogicOpPolarityAndBooleanValue(BooleanLogic* boolean);
  22 Polarity negatePolarity(Polarity This);
  23 BooleanValue negateBooleanValue(BooleanValue This);
  24 void computeLogicOpPolarity(BooleanLogic* boolean);
  25 void computeLogicOpBooleanValue(BooleanLogic* boolean);
  26
  27 #endif /* POLARITYASSIGNMENT_H */