/dports/math/cvc4/CVC4-1.7/test/regress/regress0/sets/ |
H A D | rec_copy_loop_check_heap_access_43_4.smt2 | 5 (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 D | copy_check_heap_access_33_4.smt2 | 7 (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 D | remove_check_free_31_6.smt2 | 5 (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 D | insert_invariant_37_2.smt2 | 5 (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 D | lexer.inc | 299 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 D | semantic_actions.cpp | 85 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 D | node.cpp | 77 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 D | node.h | 80 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 D | Delta_ext.cpp | 224 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 D | Bioseq.cpp | 108 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 D | Delta_ext.cpp | 224 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 D | Bioseq.cpp | 108 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 D | Std_seg.cpp | 133 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 D | Std_seg.cpp | 133 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 D | instream.h | 31 virtual int SetLoc( long ); 62 int SetLoc( long );
|
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/include/objmgr/split/ |
H A D | blob_splitter_impl.hpp | 164 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 D | blob_splitter_impl.hpp | 164 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 D | policy.go | 106 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 D | blast_seqalign.cpp | 361 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 D | blast_seqalign.cpp | 361 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 D | hgvs_parser2.cpp | 398 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 D | instream.cc | 156 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 D | X86FlagsCopyLowering.cpp | 912 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 D | X86FlagsCopyLowering.cpp | 926 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 D | X86FlagsCopyLowering.cpp | 926 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()
|