#include <UniverseAssumption.hpp>
template<typename T>
Universe::UniverseAssumption class

Template parameters
T The type of the value used in the hypothesis.

Contents

The UniverseAssumption represents a solving assumption, i.e., an hypothesis made about the assignment of a variable.

Constructors, destructors, conversion operators

UniverseAssumption(std::string variableId, bool equal, T value)

Public functions

auto getVariableId() const -> const std::string&
auto isEqual() const -> bool
auto getValue() const -> T

Function documentation

template<typename T>
Universe::UniverseAssumption<T>::UniverseAssumption(std::string variableId, bool equal, T value)

Parameters
variableId The name of the variable involved in the assumption.
equal Whether the assumption represents an equality.
value The assumed value.

Creates a new UniverseAssumption.

template<typename T>
const std::string& Universe::UniverseAssumption<T>::getVariableId() const

Returns The name of the variable involved in this assumption.

Gives the name of the variable involved in this assumption.

template<typename T>
bool Universe::UniverseAssumption<T>::isEqual() const

Returns Whether the assumption represents an equality.

Checks whether the assumption represents an equality.

template<typename T>
T Universe::UniverseAssumption<T>::getValue() const

Returns The assumed value.

Gives the assumed value.