Method: Crokus::ITE#initialize

Defined in:
lib/crokus/cfg.rb

#initialize(cond, bb_t, bb_f) ⇒ ITE

Returns a new instance of ITE.



9
10
11
12
13
# File 'lib/crokus/cfg.rb', line 9

def initialize cond,bb_t,bb_f
  @cond=cond
  @trueBranch=bb_t
  @falseBranch=bb_f
end