src/ASTAnalyses/Polarity/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 #include "element.h"
  16
  17 void computePolarities(CSolver *This);
  18 bool updatePolarity(Boolean *This, Polarity polarity);
  19 void updateEdgePolarity(BooleanEdge dst, BooleanEdge src);
  20 void updateEdgePolarity(BooleanEdge dst, Polarity polarity);
  21 void updateMustValue(Boolean *This, BooleanValue value);
  22 void computeElement(Element *e);
  23 void computePolarity(Boolean *boolean, Polarity polarity);
  24 void computePredicatePolarity(BooleanPredicate *This);
  25 void computeLogicOpPolarity(BooleanLogic *boolean);
  26 BooleanValue negateBooleanValue(BooleanValue This);
  27 Polarity computeLogicOpPolarityChildren(BooleanLogic *boolean);
  28
  29 #endif/* POLARITYASSIGNMENT_H */