Method: Z3::BoolExpr#implies

Defined in:
lib/z3/expr/bool_expr.rb

#implies(other) ⇒ Object 



27
28
29
 
# File 'lib/z3/expr/bool_expr.rb', line 27

def implies(other)
  BoolExpr.Implies(self, other)
end