src/parser.py
def strip_terms(self, exp):
        ''' Return a list of used terms along with the same list without duplicates '''
        # filter out all propositional variables
        terms = list(filter(lambda x: True if x in self.alpha else False, list(exp)))
        # make a list of terms void of duplicates
        distinct = list(dict.fromkeys(terms))
        return terms, distinct
 Return a list of used terms along with the same list without duplicates 
Return a list of used terms along with the same list without duplicates
Return a list of used terms along with the same list without duplicates
def strip_terms(self, exp):
        terms = list(filter(lambda x: True if x in self.alpha else False, list(exp)))
        distinct = list(dict.fromkeys(terms))
        return terms, distinct
def strip_terms ( self , exp ) : terms = list ( filter ( lambda x : True if x in self . alpha else False , list ( exp ) ) ) distinct = list ( dict . fromkeys ( terms ) ) return terms , distinct
Return a list of used terms along with the same list without duplicates
Return a list of used terms along with the same list without duplicates
''' Return a list of used terms along with the same list without duplicates ''' # filter out all propositional variables # make a list of terms void of duplicates
self
exp