/*
 * Copyright 2015 Red Hat, Inc. and/or its affiliates.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * 
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
*/

declare A
  a1 : int
  a2 : int
end

declare B
  b1 : int
  b2 : int
end

declare C
  c1 : int
  c2 : int
end

declare D
  d1 : int
  d2 : int
end

declare E
  e1 : int
  e2 : int
end

declare F
  f1 : int
  f2 : int
end

declare G
  g1 : int
  g2 : int
end

declare H
  h1 : int
  h2 : int
end

declare I
  i1 : int
  i2 : int
end

rule Init salience 100
when
then
    for (int i = 0; i < 1000000; i++) {
        insert( new A(1, 1) );
    }
    insert( new B(0, 2) );
    insert( new C(-1, 2) );
    insert( new D(-2, 2) );
    insert( new E(-3, 2) );
    insert( new F(-4, 2) );
    insert( new G(-5, 2) );
    insert( new H(-6, 2) );
    insert( new I(-7, 2) );
end

rule R1
when
    $a: A( a1 < 10 )
    $b: B( b1 < $a.a1 )
    $c: C( c1 < $b.b1 )
    $d: D( d1 < $c.c1 )
    $e: E( e1 < $d.d1 )
    $f: F( f1 < $e.e1 )
    $g: G( g1 < $f.f1 )
    $h: H( h1 < $g.g1 )
    $i: I( i1 < $h.h1, i2 > $a.a2 )
then
    modify( $a ) { setA2( $i.getI2() + 1 ) };
end
