Class: PgVerify::Model::VariableState

Inherits:

Object

• Object
• PgVerify::Model::VariableState

Defined in:

lib/pg-verify/model/simulation/variable_state.rb

Instance Attribute Summary

• #value_map ⇒ Object

  Returns the value of attribute value_map.

Instance Method Summary

• #failure? ⇒ Boolean
• #initialize(spec, success, trace) ⇒ VariableState constructor

  A new instance of VariableState.

• #success? ⇒ Boolean

Constructor Details

#initialize(spec, success, trace) ⇒ VariableState

Returns a new instance of VariableState.

# File 'lib/pg-verify/model/simulation/variable_state.rb', line 8

def initialize(spec, success, trace)
    
end

Instance Attribute Details

#value_map ⇒ Object

Returns the value of attribute value_map.

# File 'lib/pg-verify/model/simulation/variable_state.rb', line 6

def value_map
  @value_map
end

Instance Method Details

#failure? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/pg-verify/model/simulation/variable_state.rb', line 16

def failure?()
    return !@success
end

#success? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/pg-verify/model/simulation/variable_state.rb', line 12

def success?
    return @success
end