Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/test/
H A Dgeorge.cpp878 Expr id1789=vc->geExpr(id819,id895); in testgeorge1() local
879 Expr id1788=vc->notExpr(id1789); in testgeorge1()
880 vc->registerAtom(id1789); in testgeorge1()
3648 vc->query(id1789); in testgeorge1()
3651 vc->assertFormula(id1789); in testgeorge1()
8138 Expr id1789=vc->ltExpr(id271,id89); in testgeorge3() local
8139 Expr id1788=vc->notExpr(id1789); in testgeorge3()
8140 vc->registerAtom(id1789); in testgeorge3()
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objtools/readers/unit_test/gff3reader_test_cases/
H A Drw-228.gff337 NW_006763130.1 BestRefSeq exon 64024 64210 . - . ID=id1789;Parent=rna1;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.gff337 NW_006763130.1 BestRefSeq exon 64024 64210 . - . ID=id1789;Parent=rna1;Dbxref=GeneID:16638,Genbank:…