C# Class CatSAT.NonBoolean.UndefinedVariableException

Signifies that the program attempted to get the value of a Variable within a Solution in which is undefined.
Inheritance: InvalidOperationException
Show file Open project: ianhorswill/CatSAT

Public Properties

Property Type Description
Solution Solution
Variable Variable

Public Methods

Method Description
UndefinedVariableException ( Variable variable, Solution solution ) : System

Signal that the specified variable is not defined in this solution

Method Details

UndefinedVariableException() public method

Signal that the specified variable is not defined in this solution
public UndefinedVariableException ( Variable variable, Solution solution ) : System
variable Variable
solution Solution
return System

Property Details

Solution public property

The solution within which Variable was undefined
public Solution Solution
return Solution

Variable public property

The variable that was not defined in Solution
public Variable Variable
return Variable