Lines Matching defs:c0
1991 val (c0,nc0) = if is_T cond0 then (1,0) else (0,1)
1996 | [true] => [c0 , 1 , 0 , 0]
1998 | [true,true] => [c0 , c0 , 1 , 0]
1999 | [false,true] => [nc0, c0 , 1 , 0]
2000 | [true,false] => [c0 , nc0, 1 , 0]
2002 | [true,true,true] => [c0 , c0 , c0 , 1]
2003 | [false,true,true] => [nc0, c0 , c0 , 1]
2004 | [true,false,true] => [c0 , nc0, c0 , 1]
2005 | [false,false,true] => [nc0, nc0, c0 , 1]
2006 | [true,true,false] => [c0 , c0 , nc0, 1]
2007 | [false,true,false] => [nc0, c0 , nc0, 1]
2008 | [true,false,false] => [c0 , nc0, nc0, 1]