public final class JTuplesEngine
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static boolean |
isTemplate(LogicTuple lt) |
static boolean |
match(IJTupleTemplate template,
IJTuple tuple)
Tests if the given arguments matches according to tuProlog matching rules
for LogicTuples
No unification (a la tuProlog) is performed
|
static boolean |
propagate(IJTupleTemplate template,
IJTuple tuple)
Tries to perform unification (a la tuProlog)
|
static IJTuple |
toJavaTuple(LogicTuple tuple) |
static IJTupleTemplate |
toJavaTupleTemplate(LogicTuple template) |
static LogicTuple |
toLogicTuple(IJTuple tuple) |
static LogicTuple |
toLogicTuple(IJTupleTemplate template) |
public static boolean isTemplate(LogicTuple lt) throws InvalidTupleException
lt
- the tuProlog LogicTuple to be checkedInvalidTupleException
- if the given tuProlog LogicTuple is not convertible into a
JTuple (too much expressive)public static boolean match(IJTupleTemplate template, IJTuple tuple)
template
- the JTupleTemplate to matchtuple
- the JTuple to matchpublic static boolean propagate(IJTupleTemplate template, IJTuple tuple)
template
- the JTupleTemplate to matchtuple
- the JTuple to matchpublic static IJTuple toJavaTuple(LogicTuple tuple) throws InvalidTupleException
tuple
- the tuProlog LogicTuple to convert into a JTupleInvalidTupleException
- if the given tuProlog LogicTuple is more expressive w.r.t.
JTuple language, hence, not convertiblepublic static IJTupleTemplate toJavaTupleTemplate(LogicTuple template) throws InvalidTupleException
template
- the tuProlog LogicTuple template to convert into a
JTupleTemplateInvalidTupleException
- if the given tuProlog LogicTuple template is more expressive
w.r.t. JTupleTemplate language, hence, not convertiblepublic static LogicTuple toLogicTuple(IJTuple tuple)
tuple
- the JTuple to convert into a tuProlog LogicTuplepublic static LogicTuple toLogicTuple(IJTupleTemplate template)
template
- the JTupleTemplate to convert into a tuProlog LogicTuple