CubicSolver Class Reference

#include <CubicSolver.h>

Public Member Functions
	CubicSolver (std::vector< ASTFunction * > functions)
void	addElementofConstraint (ASTFunction *fn, ASTNode *node)
void	addConditionalConstraint (ASTFunction *condition, ASTNode *in, ASTNode *from, ASTNode *to)
void	addSubseteqConstraint (ASTNode *from, ASTNode *to)
std::vector< ASTFunction * >	getPossibleFunctionsForExpr (ASTNode *)

Constructor & Destructor Documentation

CubicSolver()

CubicSolver::CubicSolver

(

std::vector< ASTFunction * >

functions

)

Member Function Documentation

addConditionalConstraint()

void CubicSolver::addConditionalConstraint	(	ASTFunction *	condition,
		ASTNode *	in,
		ASTNode *	from,
		ASTNode *	to
	)

addElementofConstraint()

void CubicSolver::addElementofConstraint	(	ASTFunction *	fn,
		ASTNode *	node
	)

addSubseteqConstraint()

void CubicSolver::addSubseteqConstraint	(	ASTNode *	from,
		ASTNode *	to
	)

getPossibleFunctionsForExpr()

std::vector< ASTFunction * > CubicSolver::getPossibleFunctionsForExpr

(

ASTNode *

n

)

---

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

• /home/runner/work/tipc/tipc/src/semantic/cfa/CubicSolver.h
• /home/runner/work/tipc/tipc/src/semantic/cfa/CubicSolver.cpp