def set_phases(self, literals=[]):
        """
            Sets polarities of a given list of variables.
        """

        if self.maplesat:
            pysolvers.maplecm_setphases(self.maplesat, literals)
def set_phases ( self , literals = [ ] ) : if self . maplesat : pysolvers . maplecm_setphases ( self . maplesat , literals )
Sets polarities of a given list of variables.