next up previous contents
Next: verify.pl Up: vg.pl Previous: vg.pl

vgprime

# Arguments: $expression$  : A string containing a conditional expression.
#            
# Return Values: V'(g) for the $expression$
# Description: vgprime simply counts the number of logical AND's and OR's
#              which occur within $expression$ and return this number.