Home
last modified time | relevance | path

Searched refs:SetLoc (Results 1 – 25 of 279) sorted by relevance

12345678910>>...12

/dports/math/cvc4/CVC4-1.7/test/regress/regress0/sets/
H A Drec_copy_loop_check_heap_access_43_4.smt25 (define-sort SetLoc () (Set Loc))
12 (declare-fun Alloc$0 () SetLoc)
13 (declare-fun Alloc_2$0 () SetLoc)
14 (declare-fun FP$0 () SetLoc)
15 (declare-fun FP_3$0 () SetLoc)
16 (declare-fun FP_Caller$0 () SetLoc)
17 (declare-fun FP_Caller_2$0 () SetLoc)
21 (declare-fun lseg_domain$0 (FldLoc Loc Loc) SetLoc)
25 (declare-fun sk_?X_36$0 () SetLoc)
26 (declare-fun sk_?X_37$0 () SetLoc)
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sets/
H A Dcopy_check_heap_access_33_4.smt27 (define-sort SetLoc () (Set Loc))
15 (declare-fun Alloc$0 () SetLoc)
16 (declare-fun Alloc_1$0 () SetLoc)
18 (declare-fun FP$0 () SetLoc)
19 (declare-fun FP_1$0 () SetLoc)
20 (declare-fun FP_Caller$0 () SetLoc)
21 (declare-fun FP_Caller_1$0 () SetLoc)
28 (declare-fun sk_?X_4$0 () SetLoc)
29 (declare-fun slseg_domain$0 (FldInt FldLoc Loc Loc) SetLoc)
30 (declare-fun slseg_struct$0 (SetLoc FldInt FldLoc Loc Loc) Bool)
H A Dremove_check_free_31_6.smt25 (define-sort SetLoc () (Set Loc))
14 (declare-fun Frame$0 (SetLoc SetLoc FldLoc FldLoc) Bool)
15 (declare-fun Alloc$0 () SetLoc)
16 (declare-fun FP$0 () SetLoc)
17 (declare-fun FP_1$0 () SetLoc)
18 (declare-fun FP_2$0 () SetLoc)
19 (declare-fun FP_Caller$0 () SetLoc)
30 (declare-fun sk_?X_27$0 () SetLoc)
31 (declare-fun sk_?X_28$0 () SetLoc)
223 (assert (! (= (as emptyset SetLoc) (as emptyset SetLoc)) :named invariant_18_4_66))
[all …]
H A Dinsert_invariant_37_2.smt25 (define-sort SetLoc () (Set Loc))
13 (declare-fun Alloc$0 () SetLoc)
15 (declare-fun FP$0 () SetLoc)
16 (declare-fun FP_Caller$0 () SetLoc)
26 (declare-fun sk_?X$0 () SetLoc)
27 (declare-fun sk_?X_1$0 () SetLoc)
28 (declare-fun sk_?X_2$0 () SetLoc)
29 (declare-fun sk_?X_3$0 () SetLoc)
30 (declare-fun sk_?X_4$0 () SetLoc)
31 (declare-fun sk_?X_5$0 () SetLoc)
[all …]
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/util/qparse/
H A Dlexer.inc299 qnode->GetValue().SetLoc(line, line_pos);
314 qnode->GetValue().SetLoc(line, line_pos);
376 qnode->GetValue().SetLoc(line, line_pos);
396 qnode->GetValue().SetLoc(line, line_pos);
414 qnode->GetValue().SetLoc(line, line_pos);
433 qnode->GetValue().SetLoc(line, line_pos);
452 qnode->GetValue().SetLoc(line, line_pos);
470 qnode->GetValue().SetLoc(line, line_pos);
488 qnode->GetValue().SetLoc(line, line_pos);
505 qnode->GetValue().SetLoc(line, line_pos);
[all …]
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objtools/readers/hgvs/
H A Dsemantic_actions.cpp85 result->SetType().SetDup().SetLoc().SetAaloc(*aa_loc); in AssignAaDup()
92 result->SetType().SetDel().SetLoc().SetAaloc(*aa_loc); in AssignAaDel()
206 ssr.SetLoc().SetAaloc(*aa_loc); in AssignAaSSR()
247 delins.SetLoc().SetAaloc(*aa_loc); in AssignAaDelins()
257 delins.SetLoc().SetAaloc(*aa_loc); in AssignAaDelinsSize()
572 result->SetType().SetDel().SetLoc().SetNtloc(*nt_loc); in AssignNtDeletion()
579 result->SetType().SetDel().SetLoc().SetNtloc(*nt_loc); in AssignNtDeletion()
615 result->SetType().SetDup().SetLoc().SetNtloc(*nt_loc); in AssignNtDup()
636 result->SetType().SetNa_sub().SetLoc(*nt_loc); in AssignNtSub()
647 result->SetType().SetNa_identity().SetLoc(*nt_loc); in AssignNtIdentity()
[all …]
/dports/cad/openroad/OpenROAD-2.0/src/psm/src/
H A Dnode.cpp77 void Node::SetLoc(int t_x, int t_y) in SetLoc() function in psm::Node
88 void Node::SetLoc(int t_x, int t_y, int t_l) in SetLoc() function in psm::Node
91 SetLoc(t_x, t_y); in SetLoc()
H A Dnode.h80 void SetLoc(int x, int y);
82 void SetLoc(int x, int y, int l);
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objects/seq/
H A DDelta_ext.cpp224 seg->SetLoc().SetInt().SetFrom(from); in AddSeqRange()
225 seg->SetLoc().SetInt().SetTo (to); in AddSeqRange()
226 seg->SetLoc().SetId(id); in AddSeqRange()
227 seg->SetLoc().SetStrand(strand); in AddSeqRange()
H A DBioseq.cpp108 dseq->SetLoc().SetInt().Assign(**ii); in x_SeqLoc_To_DeltaExt()
126 dseq->SetLoc(*pnt_loc); in x_SeqLoc_To_DeltaExt()
144 dseq->SetLoc(*cp_loc); in x_SeqLoc_To_DeltaExt()
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/src/objects/seq/
H A DDelta_ext.cpp224 seg->SetLoc().SetInt().SetFrom(from); in AddSeqRange()
225 seg->SetLoc().SetInt().SetTo (to); in AddSeqRange()
226 seg->SetLoc().SetId(id); in AddSeqRange()
227 seg->SetLoc().SetStrand(strand); in AddSeqRange()
H A DBioseq.cpp108 dseq->SetLoc().SetInt().Assign(**ii); in x_SeqLoc_To_DeltaExt()
126 dseq->SetLoc(*pnt_loc); in x_SeqLoc_To_DeltaExt()
144 dseq->SetLoc(*cp_loc); in x_SeqLoc_To_DeltaExt()
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objects/seqalign/
H A DStd_seg.cpp133 swap(SetLoc()[row0], SetLoc()[row1]); in SwapRows()
176 CSeq_loc& src_loc = *SetLoc()[row]; in OffsetRow()
234 CSeq_loc& src_loc = *SetLoc()[row]; in RemapToLoc()
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/src/objects/seqalign/
H A DStd_seg.cpp133 swap(SetLoc()[row0], SetLoc()[row1]); in SwapRows()
176 CSeq_loc& src_loc = *SetLoc()[row]; in OffsetRow()
234 CSeq_loc& src_loc = *SetLoc()[row]; in RemapToLoc()
/dports/textproc/sowing/sowing-1.1.18/include/textfilt/
H A Dinstream.h31 virtual int SetLoc( long );
62 int SetLoc( long );
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/include/objmgr/split/
H A Dblob_splitter_impl.hpp164 void SetLoc(CID2S_Seq_loc& loc,
166 void SetLoc(CID2S_Seq_loc& loc,
168 void SetLoc(CID2S_Seq_loc& loc,
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/include/objmgr/split/
H A Dblob_splitter_impl.hpp164 void SetLoc(CID2S_Seq_loc& loc,
166 void SetLoc(CID2S_Seq_loc& loc,
168 void SetLoc(CID2S_Seq_loc& loc,
/dports/www/pomerium/pomerium-0.8.3/vendor/github.com/open-policy-agent/opa/ast/
H A Dpolicy.go106 SetLoc(*Location) methodSpec
310 func (c *Comment) SetLoc(loc *Location) { func
352 func (pkg *Package) SetLoc(loc *Location) { func
430 func (imp *Import) SetLoc(loc *Location) { func
509 func (rule *Rule) SetLoc(loc *Location) { func
690 func (head *Head) SetLoc(loc *Location) { func
720 func (a Args) SetLoc(loc *Location) { func
841 func (body Body) SetLoc(loc *Location) { func
1108 func (expr *Expr) SetLoc(loc *Location) { func
1169 func (d *SomeDecl) SetLoc(loc *Location) { func
[all …]
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/algo/blast/api/
H A Dblast_seqalign.cpp361 std_seg->SetLoc().push_back(master_loc); in s_CreateStdSegs()
362 std_seg->SetLoc().push_back(slave_loc); in s_CreateStdSegs()
1073 seg->SetLoc().push_back(slp2); in s_OOFBlastHSP2SeqAlign()
1074 seg->SetLoc().push_back(slp1); in s_OOFBlastHSP2SeqAlign()
1078 seg->SetLoc().push_back(slp1); in s_OOFBlastHSP2SeqAlign()
1079 seg->SetLoc().push_back(slp2); in s_OOFBlastHSP2SeqAlign()
1332 retval->SetLoc().reserve(kBlastAlignmentDim); in x_UngappedHSPToStdSeg()
1379 retval->SetLoc().push_back(query_loc); in x_UngappedHSPToStdSeg()
1380 retval->SetLoc().push_back(subject_loc); in x_UngappedHSPToStdSeg()
2080 retval->SetLoc().push_back(query_loc); in x_NonTranslatedHSPToStdSeg()
[all …]
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/src/algo/blast/api/
H A Dblast_seqalign.cpp361 std_seg->SetLoc().push_back(master_loc); in s_CreateStdSegs()
362 std_seg->SetLoc().push_back(slave_loc); in s_CreateStdSegs()
1073 seg->SetLoc().push_back(slp2); in s_OOFBlastHSP2SeqAlign()
1074 seg->SetLoc().push_back(slp1); in s_OOFBlastHSP2SeqAlign()
1078 seg->SetLoc().push_back(slp1); in s_OOFBlastHSP2SeqAlign()
1079 seg->SetLoc().push_back(slp2); in s_OOFBlastHSP2SeqAlign()
1332 retval->SetLoc().reserve(kBlastAlignmentDim); in x_UngappedHSPToStdSeg()
1379 retval->SetLoc().push_back(query_loc); in x_UngappedHSPToStdSeg()
1380 retval->SetLoc().push_back(subject_loc); in x_UngappedHSPToStdSeg()
2080 retval->SetLoc().push_back(query_loc); in x_NonTranslatedHSPToStdSeg()
[all …]
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/misc/hgvs/
H A Dhgvs_parser2.cpp398 SetPlacement().SetLoc().SetWhole().Assign(id); in SetId()
1012 p->SetLoc().SetInt().SetId(pnt1.pnt->SetId()); in x_range()
1014 p->SetLoc().SetInt().SetTo(pnt2.pnt->GetPoint()); in x_range()
1052 placement->SetLoc().SetPnt(*pnt.pnt); in x_location()
1104 p->SetLoc().FlipStrand(); in x_seq_loc()
1155 delta->SetSeq().SetLoc(*loc); in x_seq_ref()
1503 delta->SetSeq().SetLoc().Assign(*loc); in x_nuc_inv()
1504 delta->SetSeq().SetLoc().FlipStrand(); in x_nuc_inv()
1556 p.SetLoc().Assign(*ssr_loc); in x_ssr()
1621 SetFirstPlacement(*vr).SetLoc().Assign(*loc); in x_translocation()
[all …]
/dports/textproc/sowing/sowing-1.1.18/src/textfilt/
H A Dinstream.cc156 int InStream::SetLoc( long position ) in SetLoc() function in InStream
159 return next->SetLoc( position ); in SetLoc()
420 int InStreamFile::SetLoc( long position ) in SetLoc() function in InStreamFile
/dports/devel/llvm90/llvm-9.0.1.src/lib/Target/X86/
H A DX86FlagsCopyLowering.cpp912 auto SetLoc = SetBI.getDebugLoc(); in rewriteSetCarryExtended() local
934 BuildMI(MBB, SetPos, SetLoc, TII->get(X86::MOVZX32rr8), NewReg) in rewriteSetCarryExtended()
944 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::SUBREG_TO_REG), in rewriteSetCarryExtended()
955 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::COPY), in rewriteSetCarryExtended()
959 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::COPY), NewReg) in rewriteSetCarryExtended()
978 BuildMI(MBB, SetPos, SetLoc, TII->get(X86::MOV32r0), ZeroReg); in rewriteSetCarryExtended()
1003 BuildMI(MBB, SetPos, SetLoc, TII->get(Sub), ResultReg) in rewriteSetCarryExtended()
/dports/devel/llvm80/llvm-8.0.1.src/lib/Target/X86/
H A DX86FlagsCopyLowering.cpp926 auto SetLoc = SetBI.getDebugLoc(); in rewriteSetCarryExtended() local
948 BuildMI(MBB, SetPos, SetLoc, TII->get(X86::MOVZX32rr8), NewReg) in rewriteSetCarryExtended()
958 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::SUBREG_TO_REG), in rewriteSetCarryExtended()
969 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::COPY), in rewriteSetCarryExtended()
973 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::COPY), NewReg) in rewriteSetCarryExtended()
992 BuildMI(MBB, SetPos, SetLoc, TII->get(X86::MOV32r0), ZeroReg); in rewriteSetCarryExtended()
1017 BuildMI(MBB, SetPos, SetLoc, TII->get(Sub), ResultReg) in rewriteSetCarryExtended()
/dports/devel/llvm70/llvm-7.0.1.src/lib/Target/X86/
H A DX86FlagsCopyLowering.cpp926 auto SetLoc = SetBI.getDebugLoc(); in rewriteSetCarryExtended() local
948 BuildMI(MBB, SetPos, SetLoc, TII->get(X86::MOVZX32rr8), NewReg) in rewriteSetCarryExtended()
958 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::SUBREG_TO_REG), in rewriteSetCarryExtended()
969 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::COPY), in rewriteSetCarryExtended()
973 BuildMI(MBB, SetPos, SetLoc, TII->get(TargetOpcode::COPY), NewReg) in rewriteSetCarryExtended()
992 BuildMI(MBB, SetPos, SetLoc, TII->get(X86::MOV32r0), ZeroReg); in rewriteSetCarryExtended()
1017 BuildMI(MBB, SetPos, SetLoc, TII->get(Sub), ResultReg) in rewriteSetCarryExtended()

12345678910>>...12