Searched refs:id1813 (Results 1 – 3 of 3) sorted by relevance
896 Expr id1813=vc->geExpr(id711,id895); in testgeorge1() local897 Expr id1812=vc->notExpr(id1813); in testgeorge1()898 vc->registerAtom(id1813); in testgeorge1()3588 vc->query(id1813); in testgeorge1()3591 vc->assertFormula(id1813); in testgeorge1()4819 Expr id1813=vc->eqExpr(id537,id157); in testgeorge2() local4820 Expr id1812=vc->notExpr(id1813); in testgeorge2()4821 vc->registerAtom(id1813); in testgeorge2()8153 Expr id1813=vc->eqExpr(id1811,id299); in testgeorge3() local8154 Expr id1812=vc->notExpr(id1813); in testgeorge3()[all …]
51 NW_006763130.1 BestRefSeq exon 227457 227678 . - . ID=id1813;Parent=rna3;Dbxref=GeneID:16631,Genban…