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__()')