Method: Z3::Goal#depth

Defined in:
lib/z3/goal.rb

#depth ⇒ Object 



17
18
19
 
# File 'lib/z3/goal.rb', line 17

def depth
  LowLevel.goal_depth(self)
end