public class PrologTermMatch extends PrologMatch
CompoundPrologTerm
Modifier and Type | Method and Description |
---|---|
static PrologTermMatch |
anonAtom(java.lang.String functor) |
static PrologTermMatch |
anonTerm() |
static PrologTermMatch |
anonTerm(java.lang.String functor) |
static PrologTermMatch |
anonTerm(java.lang.String functor,
int arity) |
static PrologTermMatch |
anonTerm(java.lang.String functor,
PrologMatch[] args) |
protected boolean |
isMatch(PrologTerm term,
java.util.Map<java.lang.String,PrologTerm> hits) |
static PrologTermMatch |
namedAtom(java.lang.String name,
java.lang.String functor) |
static PrologTermMatch |
namedTerm(java.lang.String name) |
static PrologTermMatch |
namedTerm(java.lang.String name,
java.lang.String functor) |
static PrologTermMatch |
namedTerm(java.lang.String name,
java.lang.String functor,
int arity) |
static PrologTermMatch |
namedTerm(java.lang.String name,
java.lang.String functor,
PrologMatch[] args) |
anon, getMatches, matches, matches, named
public static PrologTermMatch anonTerm()
public static PrologTermMatch anonTerm(java.lang.String functor, PrologMatch[] args)
public static PrologTermMatch anonTerm(java.lang.String functor, int arity)
public static PrologTermMatch anonTerm(java.lang.String functor)
public static PrologTermMatch anonAtom(java.lang.String functor)
public static PrologTermMatch namedTerm(java.lang.String name)
public static PrologTermMatch namedTerm(java.lang.String name, java.lang.String functor, PrologMatch[] args)
public static PrologTermMatch namedTerm(java.lang.String name, java.lang.String functor, int arity)
public static PrologTermMatch namedTerm(java.lang.String name, java.lang.String functor)
public static PrologTermMatch namedAtom(java.lang.String name, java.lang.String functor)
protected boolean isMatch(PrologTerm term, java.util.Map<java.lang.String,PrologTerm> hits)
isMatch
in class PrologMatch