SubCircuit::Solver Class Reference

#include <subcircuit.h>

Inheritance diagram for SubCircuit::Solver:

Collaboration diagram for SubCircuit::Solver:

Data Structures
struct	MineResult
struct	MineResultNode
struct	Result
struct	ResultNodeMapping

Public Member Functions
	Solver ()
	~Solver ()
void	setVerbose ()
void	addGraph (std::string graphId, const Graph &graph)
void	addCompatibleTypes (std::string needleTypeId, std::string haystackTypeId)
void	addCompatibleConstants (int needleConstant, int haystackConstant)
void	addSwappablePorts (std::string needleTypeId, std::string portId1, std::string portId2, std::string portId3=std::string(), std::string portId4=std::string())
void	addSwappablePorts (std::string needleTypeId, std::set< std::string > ports)
void	addSwappablePortsPermutation (std::string needleTypeId, std::map< std::string, std::string > portMapping)
void	solve (std::vector< Result > &results, std::string needleGraphId, std::string haystackGraphId, bool allowOverlap=true, int maxSolutions=-1)
void	solve (std::vector< Result > &results, std::string needleGraphId, std::string haystackGraphId, const std::map< std::string, std::set< std::string >> &initialMapping, bool allowOverlap=true, int maxSolutions=-1)
void	mine (std::vector< MineResult > &results, int minNodes, int maxNodes, int minMatches, int limitMatchesPerGraph=-1)
void	clearOverlapHistory ()
void	clearConfig ()

Protected Member Functions
virtual bool	userCompareNodes (const std::string &needleGraphId, const std::string &needleNodeId, void *needleUserData, const std::string &haystackGraphId, const std::string &haystackNodeId, void *haystackUserData, const std::map< std::string, std::string > &portMapping)
virtual std::string	userAnnotateEdge (const std::string &graphId, const std::string &fromNodeId, void *fromUserData, const std::string &toNodeId, void *toUserData)
virtual bool	userCompareEdge (const std::string &needleGraphId, const std::string &needleFromNodeId, void *needleFromUserData, const std::string &needleToNodeId, void *needleToUserData, const std::string &haystackGraphId, const std::string &haystackFromNodeId, void *haystackFromUserData, const std::string &haystackToNodeId, void *haystackToUserData)
virtual bool	userCheckSolution (const Result &result)

Private Attributes
SolverWorker *	worker

Friends
class	SolverWorker

Detailed Description

Definition at line 92 of file subcircuit.h.

Constructor & Destructor Documentation

SubCircuit::Solver::Solver

(

)

Definition at line 1617 of file subcircuit.cc.

{
    worker = new SolverWorker(this);
}

SubCircuit::Solver::~Solver

(

)

Definition at line 1622 of file subcircuit.cc.

{
    delete worker;
}

Member Function Documentation

void SubCircuit::Solver::addCompatibleConstants	(	int	needleConstant,
		int	haystackConstant
	)

Definition at line 1642 of file subcircuit.cc.

{
    worker->addCompatibleConstants(needleConstant, haystackConstant);
}

Here is the caller graph for this function:

void SubCircuit::Solver::addCompatibleTypes	(	std::string	needleTypeId,
		std::string	haystackTypeId
	)

Definition at line 1637 of file subcircuit.cc.

{
    worker->addCompatibleTypes(needleTypeId, haystackTypeId);
}

Here is the caller graph for this function:

void SubCircuit::Solver::addGraph	(	std::string	graphId,
		const Graph &	graph
	)

Definition at line 1632 of file subcircuit.cc.

{
    worker->addGraph(graphId, graph);
}

Here is the caller graph for this function:

void SubCircuit::Solver::addSwappablePorts	(	std::string	needleTypeId,
		std::string	portId1,
		std::string	portId2,
		std::string	portId3 = std::string(),
		std::string	portId4 = std::string()
	)

Definition at line 1647 of file subcircuit.cc.

{
    std::set<std::string> ports;
    ports.insert(portId1);
    ports.insert(portId2);
    ports.insert(portId3);
    ports.insert(portId4);
    ports.erase(std::string());
    addSwappablePorts(needleTypeId, ports);
}

Here is the caller graph for this function:

void SubCircuit::Solver::addSwappablePorts	(	std::string	needleTypeId,
		std::set< std::string >	ports
	)

Definition at line 1658 of file subcircuit.cc.

{
    worker->addSwappablePorts(needleTypeId, ports);
}

void SubCircuit::Solver::addSwappablePortsPermutation	(	std::string	needleTypeId,
		std::map< std::string, std::string >	portMapping
	)

Definition at line 1663 of file subcircuit.cc.

{
    worker->addSwappablePortsPermutation(needleTypeId, portMapping);
}

Here is the caller graph for this function:

void SubCircuit::Solver::clearConfig

(

)

Definition at line 1690 of file subcircuit.cc.

{
    worker->clearConfig();
}

Here is the caller graph for this function:

void SubCircuit::Solver::clearOverlapHistory

(

)

Definition at line 1685 of file subcircuit.cc.

{
    worker->clearOverlapHistory();
}

Here is the caller graph for this function:

void SubCircuit::Solver::mine	(	std::vector< MineResult > &	results,
		int	minNodes,
		int	maxNodes,
		int	minMatches,
		int	limitMatchesPerGraph = -1
	)

Definition at line 1680 of file subcircuit.cc.

{
    worker->mine(results, minNodes, maxNodes, minMatches, limitMatchesPerGraph);
}

Here is the caller graph for this function:

void SubCircuit::Solver::setVerbose

(

)

Definition at line 1627 of file subcircuit.cc.

{
    worker->setVerbose();
}

Here is the caller graph for this function:

void SubCircuit::Solver::solve	(	std::vector< Result > &	results,
		std::string	needleGraphId,
		std::string	haystackGraphId,
		bool	allowOverlap = true,
		int	maxSolutions = -1
	)

Definition at line 1668 of file subcircuit.cc.

{
    std::map<std::string, std::set<std::string>> emptyInitialMapping;
    worker->solve(results, needleGraphId, haystackGraphId, emptyInitialMapping, allowOverlap, maxSolutions);
}

Here is the caller graph for this function:

void SubCircuit::Solver::solve	(	std::vector< Result > &	results,
		std::string	needleGraphId,
		std::string	haystackGraphId,
		const std::map< std::string, std::set< std::string >> &	initialMapping,
		bool	allowOverlap = true,
		int	maxSolutions = -1
	)

Definition at line 1674 of file subcircuit.cc.

{
    worker->solve(results, needleGraphId, haystackGraphId, initialMappings, allowOverlap, maxSolutions);
}

std::string Solver::userAnnotateEdge ( const std::string &  graphId, const std::string &  fromNodeId, void *  fromUserData, const std::string &  toNodeId, void *  toUserData  )

protectedvirtual

Definition at line 1602 of file subcircuit.cc.

{
    return std::string();
}

Here is the caller graph for this function:

bool Solver::userCheckSolution ( const Result &  result )

protectedvirtual

Definition at line 1612 of file subcircuit.cc.

{
    return true;
}

Here is the caller graph for this function:

bool Solver::userCompareEdge ( const std::string &  needleGraphId, const std::string &  needleFromNodeId, void *  needleFromUserData, const std::string &  needleToNodeId, void *  needleToUserData, const std::string &  haystackGraphId, const std::string &  haystackFromNodeId, void *  haystackFromUserData, const std::string &  haystackToNodeId, void *  haystackToUserData  )

protectedvirtual

Definition at line 1607 of file subcircuit.cc.

{
    return true;
}

Here is the caller graph for this function:

bool Solver::userCompareNodes ( const std::string &  needleGraphId, const std::string &  needleNodeId, void *  needleUserData, const std::string &  haystackGraphId, const std::string &  haystackNodeId, void *  haystackUserData, const std::map< std::string, std::string > &  portMapping  )

protectedvirtual

Reimplemented in SubCircuitSolver.

Definition at line 1597 of file subcircuit.cc.

{
    return true;
}

Here is the caller graph for this function:

Friends And Related Function Documentation

friend class SolverWorker

friend

Definition at line 130 of file subcircuit.h.

Field Documentation

SolverWorker* SubCircuit::Solver::worker

private

Definition at line 117 of file subcircuit.h.

---

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

• subcircuit.h
• subcircuit.cc