(self, variables, formula)
return self.create_node(node_type=op.FORALL,
                                args=(formula,),
                                payload=tuple(variables))
Creates an expression of the form:
            Forall variables. formula(variables)

        Restrictions:
         - Formula must be of boolean type
         - Variables must be BOOL, REAL or INT
Creates an expression of the form:
            Forall variables. formula(variables)
Creates an expression of the form : Forall variables . formula ( variables )
def ForAll(self, variables, formula):
        """ Creates an expression of the form:
            Forall variables. formula(variables)

        Restrictions:
         - Formula must be of boolean type
         - Variables must be BOOL, REAL or INT
        """
        if len(variables) == 0:
            return formula
        return self.create_node(node_type=op.FORALL,
                                args=(formula,),
                                payload=tuple(variables))
def ForAll ( self , variables , formula ) : if len ( variables ) == 0 : return formula return self . create_node ( node_type = op . FORALL , args = ( formula , ) , payload = tuple ( variables ) )