Searched refs:fnSym (Results 1 – 6 of 6) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | EqualityAxiomatizer.cpp | 283 Signature::Symbol* fnSym = env.signature->getFunction(fn); in getFnCongruenceAxiom() local
284 FunctionType* fnType = fnSym->fnType(); in getFnCongruenceAxiom()
290 unsigned arity = fnSym->arity(); in getFnCongruenceAxiom()
291 ASS_G(fnSym->arity(),0); //we've checked for this during collection of function symbols in getFnCongruenceAxiom()
|
| H A D | EqualityProxy.cpp | 227 Signature::Symbol* fnSym = env.signature->getFunction(i); in addCongruenceAxioms() local
228 unsigned arity = fnSym->arity(); in addCongruenceAxioms()
232 OperatorType* fnType = fnSym->fnType(); in addCongruenceAxioms()
|
| H A D | Skolem.cpp | 143 Signature::Symbol* fnSym = env.signature->getFunction(fun); in addSkolemFunction() local
144 fnSym->setType(OperatorType::getFunctionType(arity, domainSorts, rangeSort)); in addSkolemFunction()
|
| /dports/math/vampire/vampire-4.5.1/FMB/ |
| H A D | SortInference.cpp | 509 Signature::Symbol* fnSym = env.signature->getFunction(f); in doInference() local
510 OperatorType* fnType = fnSym->fnType(); in doInference()
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/cmd/link/internal/ld/ |
| H A D | dwarf.go | 1270 fnSym := loader.Sym(s)
1271 _, _, _, lines := d.ldr.GetFuncDwarfAuxSyms(fnSym)
1675 func (d *dwctxt) dwarfVisitFunction(fnSym loader.Sym, unit *sym.CompilationUnit) {
1679 infosym, _, rangesym, _ := d.ldr.GetFuncDwarfAuxSyms(fnSym)
|
| /dports/math/libpgmath/flang-d07daf3/tools/flang2/flang2exe/ |
| H A D | cgmain.cpp | 1091 const int fnSym = gbl.currsub; in store_for_homing() local
1095 if (CFUNCG(fnSym) && (DTY(DTYPEG(fnSym)) == TY_STRUCT) && in store_for_homing()
1096 bindC_function_return_struct_in_registers(fnSym) && in store_for_homing()
|