FEAT::Solver::ExpressionCallPrecond Class Reference

Inheritance diagram for FEAT::Solver::ExpressionCallPrecond:

Public Member Functions
	ExpressionCallPrecond (String name, String precond_name_in)
virtual ExpressionType	get_type () override

Public Attributes
String	precond_name
String	solver_name

Detailed Description

Definition at line 151 of file expression.hpp.

Constructor & Destructor Documentation

ExpressionCallPrecond()

FEAT::Solver::ExpressionCallPrecond::ExpressionCallPrecond ( String  name, String  precond_name_in  )

inlineexplicit

Definition at line 156 of file expression.hpp.

~ExpressionCallPrecond()

virtual FEAT::Solver::ExpressionCallPrecond::~ExpressionCallPrecond ( )

inlinevirtual

Definition at line 162 of file expression.hpp.

Member Function Documentation

get_type()

virtual ExpressionType FEAT::Solver::ExpressionCallPrecond::get_type ( )

inlineoverridevirtual

Implements FEAT::Solver::ExpressionBase.

Definition at line 166 of file expression.hpp.

Member Data Documentation

precond_name

String FEAT::Solver::ExpressionCallPrecond::precond_name

Definition at line 154 of file expression.hpp.

solver_name

String FEAT::Solver::ExpressionBase::solver_name

inherited

Definition at line 95 of file expression.hpp.

---

The documentation for this class was generated from the following file:

• kernel/solver/expression.hpp