public class PrologIntegerMatch extends PrologMatch
Modifier and Type | Method and Description |
---|---|
static PrologIntegerMatch |
anonInt() |
static PrologIntegerMatch |
anonInt(java.math.BigInteger integer) |
static PrologIntegerMatch |
anonInt(long integer) |
protected boolean |
isMatch(PrologTerm term,
java.util.Map<java.lang.String,PrologTerm> hits) |
static PrologIntegerMatch |
namedInt(java.lang.String name) |
static PrologIntegerMatch |
namedInt(java.lang.String name,
java.math.BigInteger integer) |
static PrologIntegerMatch |
namedInt(java.lang.String name,
long integer) |
anon, getMatches, matches, matches, named
public static PrologIntegerMatch anonInt(java.math.BigInteger integer)
public static PrologIntegerMatch anonInt(long integer)
public static PrologIntegerMatch anonInt()
public static PrologIntegerMatch namedInt(java.lang.String name, java.math.BigInteger integer)
public static PrologIntegerMatch namedInt(java.lang.String name, long integer)
public static PrologIntegerMatch namedInt(java.lang.String name)
protected boolean isMatch(PrologTerm term, java.util.Map<java.lang.String,PrologTerm> hits)
isMatch
in class PrologMatch