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, namedpublic 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