it.unitn.disi.smatch.matchers.structure.node
Class BaseNodeMatcher
java.lang.Object
it.unitn.disi.smatch.matchers.structure.node.BaseNodeMatcher
- Direct Known Subclasses:
- DefaultNodeMatcher, EvalNodeMatcher, OptimizedStageNodeMatcher
public class BaseNodeMatcher
- extends java.lang.Object
Contains routines used by many other matchers.
- Author:
- Aliaksandr Autayeu avtaev@gmail.com
Method Summary |
protected static java.lang.String |
changeSign(java.lang.String strClause)
|
protected static java.lang.String |
DIMACSfromVector(java.util.ArrayList<java.util.ArrayList<java.lang.String>> tmp)
|
protected static char |
getRelationString(boolean isContains,
boolean isContained,
boolean isOpposite)
|
protected boolean |
isUnsatisfiable(java.lang.String satProblem)
|
protected static java.lang.Object[] |
mkAxioms(java.util.HashMap<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber,
IMatchMatrix cLabMatrix,
INode sourceNode,
INode targetNode)
|
protected static int |
negateFormulaInVector(java.util.HashMap<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber,
java.util.ArrayList<java.util.ArrayList<java.lang.String>> pivot,
java.util.ArrayList<java.util.ArrayList<java.lang.String>> result)
|
protected java.util.ArrayList<java.util.ArrayList<java.lang.String>> |
parseFormula(java.util.HashMap<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber,
INode node)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
satSolver
protected ISATSolver satSolver
BaseNodeMatcher
public BaseNodeMatcher()
mkAxioms
protected static java.lang.Object[] mkAxioms(java.util.HashMap<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber,
IMatchMatrix cLabMatrix,
INode sourceNode,
INode targetNode)
parseFormula
protected java.util.ArrayList<java.util.ArrayList<java.lang.String>> parseFormula(java.util.HashMap<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber,
INode node)
DIMACSfromVector
protected static java.lang.String DIMACSfromVector(java.util.ArrayList<java.util.ArrayList<java.lang.String>> tmp)
negateFormulaInVector
protected static int negateFormulaInVector(java.util.HashMap<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber,
java.util.ArrayList<java.util.ArrayList<java.lang.String>> pivot,
java.util.ArrayList<java.util.ArrayList<java.lang.String>> result)
isUnsatisfiable
protected boolean isUnsatisfiable(java.lang.String satProblem)
throws SMatchException
- Throws:
SMatchException
getRelationString
protected static char getRelationString(boolean isContains,
boolean isContained,
boolean isOpposite)
changeSign
protected static java.lang.String changeSign(java.lang.String strClause)
© 2010 Knowdive @ DISI