def to_smt(self, expr_object, smt_context_object, var_subst_map): raise basetypes.AbstractMethodError('FunctionBase.to_smt()')
def evaluate(self, expr_object, eval_context_object): raise basetypes.AbstractMethodError('FunctionBase.evaluate()')
def get_smt_type(self, smt_context_object): raise basetypes.AbstractMethodError('TypeBase.get_smt_type()')
def verify_term_solve(self, terms): raise basetypes.AbstractMethodError('VerifierBase.verify_term_solve()')
def to_template_expr(self): raise basetypes.AbstractMethodError('RewriteBase.to_template_expr()')
def substitute_expr(self, old, new): raise basetypes.AbstractMethodError('RewriteBase.substitute_expr()')
def set_size(self, new_size): raise basetypes.AbstractMethodError('GeneratorBase.set_size()')
def add_points(self): raise basetypes.AbstractMethodError('UnifierInterface.add_points()')
def _instantiate_placeholder(self, placeholder): raise basetypes.AbstractMethodError( 'GeneratorFactoryBase._instantiate_placeholder()')
def generate(self): raise basetypes.AbstractMethodError('GeneratorBase.generate()')
def add_points(self, points): raise basetypes.AbstractMethodError( 'GeneratorFactoryBase.add_points()')
def _instantiate(self, sub_exprs): raise basetypes.AbstractMethodError('NonLeafGenerator._instantiate()')
def term_signature(self, term, points): raise basetypes.AbstractMethodError('SpecInterface.check_on_point()')
def _do_instantiation(self, function_name, mangled_name, arg_types): raise basetypes.AbstractMethodError('InstantiatorBase._do_instantiation()')
def clone(self): raise basetypes.AbstractMethodError('GeneratorBase.clone()')
def _get_canonical_function_name(self, function_name): raise basetypes.AbstractMethodError('InstantiatorBase._get_canonical_function_name()')
def solve(self): raise basetypes.AbstractMethodError('TermSolverInterface.solve()')
def unify(self): raise basetypes.AbstractMethodError('UnifierInterface.solve()')
def generate_more_terms(self): raise basetypes.AbstractMethodError( 'TermSolverInterface.generate_more_terms()')
def rename_nt(self, old_name, new_name): raise basetypes.AbstractMethodError('RewriteBase.rename_nt()')
def verify(self, unification): raise basetypes.AbstractMethodError('VerifierBase.verify()')
def str(self): raise basetypes.AbstractMethodError('RewriteBase.str()')
def __repr__(self): raise basetypes.AbstractMethodError('TypeBase.__repr__()')