Uses of Class
com.meyling.principia.logic.basic.BasicPatternVariable

Packages that use BasicPatternVariable

com.meyling.principia.logic.basic

Uses of BasicPatternVariable in com.meyling.principia.logic.basic

Subclasses of BasicPatternVariable in com.meyling.principia.logic.basic

class	BasicFormulaPatternVariable Pattern variable, for matching purposes.
class	BasicPredicateVariablePatternVariable Pattern variable, for matching purposes.