Uses of Package
com.meyling.principia.logic.basic

Packages that use com.meyling.principia.logic.basic

com.meyling.principia.logic.basic
com.meyling.principia.logic.paragraph
com.meyling.principia.logic.rule
com.meyling.principia.module

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.logic.basic

AbstractFormula
From this abstract implementation of Formula each non abstract Formula must inherit from.

BasicPatternVariable
Pattern variable, for matching purposes.

Formula
This interface tells us about the methods a Formula must have.

LogicalOperatorWithTwoFormulas
LogicalOperatorWithTwoFormulas of formulas.

PackageTest.TestReader
Special reader for test files with convenient methods for reading arguments.

PropositionVariable
Represents an arbitrary logical proposition.

PropositionVariables
Set of proposition variables.

Quantifier
Basis class for Quantifier.

SubjectVariable
Subject variable, represents a subject of the universe of discourse.

SubjectVariableMarker
Implementions of this marker interface are threated as subject variables.

SubjectVariables
Set of subject variables.

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.logic.paragraph

BasicConstants
This interface provides constants of this package.

Formula
This interface tells us about the methods a Formula must have.

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.logic.rule

BasicConstants
This interface provides constants of this package.

Formula
This interface tells us about the methods a Formula must have.

PredicateVariable
Predicate variable with argument list.

PropositionVariable
Represents an arbitrary logical proposition.

SubjectVariable
Subject variable, represents a subject of the universe of discourse.

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.module

BasicConstants
This interface provides constants of this package.

Formula
This interface tells us about the methods a Formula must have.