(self)
return False
Checks if last two frames are equivalent
Checks if last two frames are equivalent
Checks if last two frames are equivalent
def inductive(self):
        """Checks if last two frames are equivalent """
        if len(self.frames) > 1 and \
           self.solve(Not(EqualsOrIff(self.frames[-1], self.frames[-2]))) is None:
            return True
        return False
def inductive ( self ) : if len ( self . frames ) > 1 and self . solve ( Not ( EqualsOrIff ( self . frames [ - 1 ] , self . frames [ - 2 ] ) ) ) is None : return True return False