Searched refs:EdgeM (Results 1 – 2 of 2) sorted by relevance
837 int m, EdgeM; in Sle_ManAddEdgeConstraints() local841 Vec_IntForEachEntryStart( vTemp, EdgeM, m, k+1 ) in Sle_ManAddEdgeConstraints()844 Vec_IntPush( p->vLits, Abc_Var2Lit(EdgeM, 1) ); in Sle_ManAddEdgeConstraints()
6262 TYPE(Element_t), POINTER :: Edge, EdgeM local6368 EdgeM => Mesh % Edges(eindm)6369 km1 = EdgeM % NodeIndexes( 1 )6370 km2 = EdgeM % NodeIndexes( 2 )