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 updateMustValue(Boolean *This, BooleanValue value);
19 void computePolarity(Boolean *boolean, Polarity polarity);
20 void computePredicatePolarity(BooleanPredicate *This);
21 void computeLogicOpPolarity(BooleanLogic *boolean);
22 Polarity negatePolarity(Polarity This);
23 BooleanValue negateBooleanValue(BooleanValue This);
24 Polarity computeLogicOpPolarityChildren(BooleanLogic *boolean);
26 #endif/* POLARITYASSIGNMENT_H */