def __init__(self, formula, type="plain", name=None):
"""
Constructor, takes formula, type, and optional name.
"""
self.formula = formula
self.type = type
Derivable.__init__(self, name)
def __init__(self, literals, type="plain", name=None):
"""
Initialize the clause.
"""
self.literals = literals
self.type = type
self.evaluation = None
Derivable.__init__(self, name)
def __init__(self, literals, type="plain", name=None):
"""
Initialize the clause.
"""
self.literals = [l for l in literals if not l.isPropFalse()]
self.type = type
self.evaluation = None
Derivable.__init__(self, name)