Home
last modified time | relevance | path

Searched refs:SigIsFixedType (Results 1 – 5 of 5) sorted by relevance

/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_typecheck.c192 for(i=0; SigIsFixedType(sig, term->f_code) && i < term->arity; i++) in TypeInferSort()
H A Dcte_signature.h198 bool SigIsFixedType(Sig_p sig, FunCode f_code);
H A Dcte_signature.c368 bool SigIsFixedType(Sig_p sig, FunCode f_code) in SigIsFixedType() function
1261 if(SigIsFixedType(sig, f)) in SigDeclareType()
H A Dcte_termbanks.c289 if(SigIsFixedType(bank->sig, res->f_code)) in tb_subterm_parse()
/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_eqn.c316 SigIsFixedType(bank->sig, lterm->f_code)) in eqn_parse_infix()