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

java.lang.Object
  extended by 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

Field Summary
protected  ISATSolver satSolver
           
 
Constructor Summary
BaseNodeMatcher()
           
 
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
 

Field Detail

satSolver

protected ISATSolver satSolver
Constructor Detail

BaseNodeMatcher

public BaseNodeMatcher()
Method Detail

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