io.konig.formula

Class Path2FormulaTranslator

java.lang.Object

io.konig.formula.Path2FormulaTranslator

public class Path2FormulaTranslator
extends Object

Constructor Summary

Constructors

Constructor and Description
Path2FormulaTranslator()

Method Summary

Modifier and Type	Method and Description
static Path2FormulaTranslator	getInstance()
QuantifiedExpression	toQuantifiedExpression(Path path)

Methods inherited from class java.lang.Object

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

Constructor Detail

Path2FormulaTranslator

public Path2FormulaTranslator()

Method Detail

getInstance

public static Path2FormulaTranslator getInstance()

toQuantifiedExpression

public QuantifiedExpression toQuantifiedExpression(Path path)