Home
last modified time | relevance | path

Searched refs:id1797 (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/test/
H A Dgeorge.cpp884 Expr id1797=vc->geExpr(id783,id895); in testgeorge1() local
885 Expr id1796=vc->notExpr(id1797); in testgeorge1()
886 vc->registerAtom(id1797); in testgeorge1()
3628 vc->query(id1797); in testgeorge1()
3631 vc->assertFormula(id1797); in testgeorge1()
8142 Expr id1797=vc->eqExpr(id1795,id305); in testgeorge3() local
8143 Expr id1796=vc->notExpr(id1797); in testgeorge3()
8144 vc->registerAtom(id1797); in testgeorge3()
10374 vc->query(id1797); in testgeorge3()
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objtools/readers/unit_test/gff3reader_test_cases/
H A Drw-228.gff339 NW_006763130.1 BestRefSeq exon 81039 81113 . - . ID=id1797;Parent=rna2;Dbxref=GeneID:16638,Genbank:…
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objtools/readers/unit_test/gff3reader_test_cases_genbank/
H A Drw-228.gff339 NW_006763130.1 BestRefSeq exon 81039 81113 . - . ID=id1797;Parent=rna2;Dbxref=GeneID:16638,Genbank:…