Module: Yoda::Model::Values

Defined in:

lib/yoda/model/values.rb,
lib/yoda/model/values/base.rb,
lib/yoda/model/values/empty_value.rb,
lib/yoda/model/values/union_value.rb,
lib/yoda/model/values/literal_value.rb,
lib/yoda/model/values/instance_value.rb,
lib/yoda/model/values/intersection_value.rb

Overview

Each Value represents the result for symbolic execution.

Defined Under Namespace

Classes: Base, EmptyValue, InstanceValue, IntersectionValue, LiteralValue, UnionValue