2 * File: polarityassignment.h
5 * Created on August 6, 2017, 12:18 PM
8 #ifndef POLARITYASSIGNMENT_H
9 #define POLARITYASSIGNMENT_H
10 #include "classlist.h"
16 void computePolarities(CSolver *This);
17 bool updatePolarity(Boolean *This, Polarity polarity);
18 void updateEdgePolarity(BooleanEdge dst, BooleanEdge src);
19 void updateEdgePolarity(BooleanEdge dst, Polarity polarity);
20 void updateMustValue(Boolean *This, BooleanValue value);
21 void computePolarity(Boolean *boolean, Polarity polarity);
22 void computePredicatePolarity(BooleanPredicate *This);
23 void computeLogicOpPolarity(BooleanLogic *boolean);
24 BooleanValue negateBooleanValue(BooleanValue This);
25 Polarity computeLogicOpPolarityChildren(BooleanLogic *boolean);
27 #endif/* POLARITYASSIGNMENT_H */