Searched refs:SigDeclareType (Results 1 – 5 of 5) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_def_handling.c | 266 …SigDeclareType(store->terms->sig, def_pred, TypeNewConstant(store->terms->sig->type_table, STBool)… in GetDefinitions()
304 …SigDeclareType(store->terms->sig, def_pred, TypeNewConstant(store->terms->sig->type_table, STBool)… in GetDefinitions()
|
| /dports/math/eprover/eprover-E-2.0/TERMS/ |
| H A D | cte_signature.c | 138 SigDeclareType(handle, SIG_TRUE_CODE, TypeNewConstant(handle->type_table, STBool)); in SigAlloc()
142 SigDeclareType(handle, SIG_FALSE_CODE, TypeNewConstant(handle->type_table, STBool)); in SigAlloc()
1251 void SigDeclareType(Sig_p sig, FunCode f, Type_p type) in SigDeclareType() function
1313 SigDeclareType(sig, f_code, type); in SigDeclareFinalType()
1480 SigDeclareType(sig, f, type); in SigParseTFFTypeDeclaration()
|
| H A D | cte_typecheck.c | 223 SigDeclareType(sig, term->f_code, type); in TypeInferSort()
|
| H A D | cte_signature.h | 246 void SigDeclareType(Sig_p sig, FunCode f, Type_p type);
|
| H A D | cte_termtypes.c | 165 SigDeclareType(sig, handle->f_code, type); in TermAllocNewSkolem()
|