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 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);
27 #endif/* POLARITYASSIGNMENT_H */