Changeset 90
- Timestamp:
 - Apr 6, 2012, 4:47:07 PM (14 years ago)
 - File:
 - 
          
- 1 edited
 
- 
          papers/FDL2012/ordering_filter_properties.tex (modified) (1 diff)
 
 
Legend:
- Unmodified
 - Added
 - Removed
 
- 
        
papers/FDL2012/ordering_filter_properties.tex
r89 r90 46 46 47 47 \KwIn{ $G$, the set of all dependency graph variable} 48 { $V$ the set of variables} 48 \hspace{3.5em}{ $V$, the set of variables} 49 49 50 \KwOut{$\{(v,w)| v \in V, w \in N\}$, The set of variables with their weight} 50 51  
Note: See TracChangeset
          for help on using the changeset viewer.
      ![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png)