Uses of Class
org.qedeq.base.io.Version

Packages that use Version

org.qedeq.base.io	Common input and output methods and access objects for text reading and writing are provided here.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.

Uses of Version in org.qedeq.base.io

Methods in org.qedeq.base.io with parameters of type Version

void	VersionSet.add(Version version) Add version number.
boolean	VersionSet.contains(Version version) Does the set contain given version number.
boolean	Version.isBigger(Version other) Is this version number bigger than the given other?
boolean	Version.isLess(Version other) Is this version number less than the given other?

Uses of Version in org.qedeq.kernel.bo.logic

Methods in org.qedeq.kernel.bo.logic with parameters of type Version

ProofChecker

ProofCheckerFactoryImpl.createProofChecker(Version ruleVersion)

Uses of Version in org.qedeq.kernel.bo.logic.proof.common

Methods in org.qedeq.kernel.bo.logic.proof.common with parameters of type Version

ProofChecker

ProofCheckerFactory.createProofChecker(Version ruleVersion) Create a ProofChecker.