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 assignPolarityAndBooleanValue(Boolean* boolean);
  17 void assignPolarityAndBooleanValue(Boolean* boolean);
  18 void assignPredicatePolarityAndBooleanValue(Boolean* boolean);
  19 void assignLogicOpPolarityAndBooleanValue(Boolean* boolean);
  20 void computeLogicOpPolarity(Boolean* boolean);
  21 void computeLogicOpBooleanValue(Boolean* boolean);
  22 void computeImplicationBooleanValue(Boolean* first, Boolean* second, BooleanValue parent);
  23 void computePolarityAndBooleanValue(Boolean* boolean);
  24 void computePredicatePolarityAndBooleanValue(Boolean* boolean);
  25 void computeLogicOpPolarityAndBooleanValue(Boolean* boolean);
  26 BooleanValue computeBooleanValue(LogicOp op, BooleanValue childVal, BooleanValue parentVal );
  27 Polarity computePolarity(Polarity childPol, Polarity parentPol);
  28
  29
  30 #endif /* POLARITYASSIGNMENT_H */