Searched refs:f_offsets (Results 1 – 9 of 9) sorted by relevance
264 f_offsets = 0; // defined in PreSave2ndPass() and used in Save() in TagFont()419 if(f_offsets != 0) { in PreSave2ndPass()421 MemClean(&f_offsets); in PreSave2ndPass()424 if(f_offsets == 0) { in PreSave2ndPass()463 f_offsets[f_count] = f_save_glyphs.ByteSize(); in PreSave2ndPass()469 f_offsets[f_count] = f_save_glyphs.ByteSize(); in PreSave2ndPass()496 f_has_wide_offsets = f_offsets[f_count - 1] + extra > USHRT_MAX; in PreSave2ndPass()512 f_offsets[idx] = swap_int(f_offsets[idx] + extra); in PreSave2ndPass()514 f_offsets[idx] += extra; in PreSave2ndPass()519 short_offsets = reinterpret_cast<unsigned short *>(f_offsets); in PreSave2ndPass()[all …]
61 f_offsets.ensure(env.signature->functions()); in FiniteModel()70 f_offsets[f]=offsets; in FiniteModel()102 unsigned var = f_offsets[f]; in addFunctionDefinition()202 unsigned res = f_interpretation[f_offsets[f]]; in toString()219 unsigned offset = f_offsets[f]; in toString()369 unsigned var = f_offsets[term->functor()]; in evaluateGroundTerm()376 if((term->functor()+1)<f_offsets.size()) ASS_L(var,f_offsets[term->functor()+1]); in evaluateGroundTerm()
62 f_offsets.ensure(env.signature->functions()); in FiniteModelMultiSorted()71 f_offsets[f]=offsets; in FiniteModelMultiSorted()127 unsigned var = f_offsets[f]; in addFunctionDefinition()260 unsigned res = f_interpretation[f_offsets[f]]; in toString()292 unsigned offset = f_offsets[f]; in toString()454 unsigned var = f_offsets[term->functor()]; in evaluateGroundTerm()461 if((term->functor()+1)<f_offsets.size()) ASS_L(var,f_offsets[term->functor()+1]); in evaluateGroundTerm()
83 DArray<unsigned> f_offsets; member in FMB::FiniteModel
87 DArray<unsigned> f_offsets; member in FMB::FiniteModelMultiSorted
182 DArray<unsigned> f_offsets; member in FMB::FiniteModelBuilder
182 f_offsets[f]=offsets; in reset()780 f_offsets.ensure(env.signature->functions()); in init()1497 unsigned offset = isFunction ? f_offsets[f] : p_offsets[f]; in getSATLiteral()
1507 size_t f_offsets[kMaxThreads]; in parseObj() local1513 f_offsets[0] = 0; in parseObj()1520 f_offsets[t] = f_offsets[t - 1] + command_count[t - 1].num_f; in parseObj()1531 size_t f_count = f_offsets[t]; in parseObj()
2607 …unsigned long * f_offsets; // this is a list of unsigned shorts if f_has_wide_offset if false --… variable