Class CharType.Type

java.lang.Object

org.projog.core.predicate.builtin.classify.CharType.Type

Enclosing class:

CharType

private static class CharType.Type
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Set<String>	characters
(package private) final Atom	termId

Constructor Summary

Constructors

Constructor	Description
Type(Atom termId, Set<String> characters)

Method Summary

Modifier and Type	Method	Description
(package private) boolean	unify(Term character, Term type)

Methods inherited from class Object

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

Field Details

termId

final Atom termId

characters

final Set<String> characters

Constructor Details

Type

Type(Atom termId,
 Set<String> characters)

Method Details

unify

boolean unify(Term character,
 Term type)