it.unitn.disi.smatch.matchers.structure.node
Class OptimizedStageNodeMatcher

java.lang.Object
  it.unitn.disi.smatch.matchers.structure.node.BaseNodeMatcher
      it.unitn.disi.smatch.matchers.structure.node.OptimizedStageNodeMatcher

public class OptimizedStageNodeMatcher
extends BaseNodeMatcher

Node matcher for StageTreeMatcher for minimal links matching.

Author:

Aliaksandr Autayeu avtaev@gmail.com

Field Summary

Fields inherited from class it.unitn.disi.smatch.matchers.structure.node.BaseNodeMatcher

satSolver

Constructor Summary

OptimizedStageNodeMatcher()

Method Summary

void	clearAxiomsCache()
boolean	nodeDisjoint(IMatchMatrix cLabMatrix, INode sourceNode, INode targetNode)
boolean	nodeSubsumedBy(IMatchMatrix cLabMatrix, INode sourceNode, INode targetNode)

Methods inherited from class it.unitn.disi.smatch.matchers.structure.node.BaseNodeMatcher

changeSign, DIMACSfromVector, getRelationString, isUnsatisfiable, mkAxioms, negateFormulaInVector, parseFormula

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OptimizedStageNodeMatcher

public OptimizedStageNodeMatcher()

Method Detail

nodeDisjoint

public boolean nodeDisjoint(IMatchMatrix cLabMatrix,
                            INode sourceNode,
                            INode targetNode)
                     throws SMatchException

Throws:

SMatchException

nodeSubsumedBy

public boolean nodeSubsumedBy(IMatchMatrix cLabMatrix,
                              INode sourceNode,
                              INode targetNode)
                       throws SMatchException

Throws:

SMatchException

clearAxiomsCache

public void clearAxiomsCache()