Uses of Class
com.meyling.principia.module.Version

Packages that use Version

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

Uses of Version in com.meyling.principia.logic.paragraph

Methods in com.meyling.principia.logic.paragraph with parameters of type Version

void	Proposition.reduceRuleVersion(Module module, Version version) Reduce needed rule version and change proof lines in that way.

Uses of Version in com.meyling.principia.logic.rule

Fields in com.meyling.principia.logic.rule declared as Version

private static Version	UseAbbreviation.version minimum version required for using this rule
private static Version	RightAdditionEquivalence.version minimum version required for using this rule
private static Version	Particularization.version minimum version required for using this rule
private static Version	ReplacePropositionVariable.version minimum version required for using this rule
private static Version	LeftAdditionImplication.version minimum version required for using this rule
private static Version	RenameBoundSubjectVariable.version minimum version required for using this rule
private static Version	RightAddition.version minimum version required for using this rule
private static Version	SubstLine.version minimum version required for using this rule
private static Version	Generalization.version minimum version required for using this rule
private static Version	LeftAdditionEquivalence.version minimum version required for using this rule
private static Version	ConjunctionRule.version minimum version required for using this rule
private static Version	RenameFreeSubjectVariable.version minimum version required for using this rule
private static Version	RightAdditionConjunction.version minimum version required for using this rule
private static Version	ReplacePredicateVariable.version minimum version required for using this rule
private static Version	ReverseImplication.version minimum version required for using this rule
private static Version	AddSentence.version minimum version required for using this rule
private static Version	AddAxiom.version minimum version required for using this rule
private static Version	ApplySentence.version minimum version required for using this rule
private static Version	ModusPonens.version minimum version required for using this rule
private static Version	ApplyAxiom.version minimum version required for using this rule
private static Version	HypotheticalSyllogism.version minimum version required for using this rule
private static Version	LeftAdditionConjunction.version minimum version required for using this rule
private static Version	ReverseAbbreviation.version minimum version required for using this rule
private static Version	RightAdditionImplication.version minimum version required for using this rule
private static Version	LeftAddition.version minimum version required for using this rule
private static Version	ElementaryEquivalence.version minimum version required for using this rule

Methods in com.meyling.principia.logic.rule that return Version

Version	UseAbbreviation.getVersion()
Version	RightAdditionEquivalence.getVersion()
Version	Particularization.getVersion()
Version	ReplacePropositionVariable.getVersion()
Version	LeftAdditionImplication.getVersion()
Version	RenameBoundSubjectVariable.getVersion()
Version	RightAddition.getVersion()
Version	Rule.getVersion() Get version of this rule.
Version	SubstLine.getVersion()
Version	Generalization.getVersion()
Version	LeftAdditionEquivalence.getVersion()
Version	ConjunctionRule.getVersion()
Version	RenameFreeSubjectVariable.getVersion()
Version	RightAdditionConjunction.getVersion()
Version	ReplacePredicateVariable.getVersion()
Version	ReverseImplication.getVersion()
Version	AddSentence.getVersion()
Version	AddAxiom.getVersion()
Version	ApplySentence.getVersion()
Version	ModusPonens.getVersion()
Version	ApplyAxiom.getVersion()
Version	HypotheticalSyllogism.getVersion()
Version	LeftAdditionConjunction.getVersion()
Version	ReverseAbbreviation.getVersion()
Version	RightAdditionImplication.getVersion()
Version	LeftAddition.getVersion()
Version	ElementaryEquivalence.getVersion()

Uses of Version in com.meyling.principia.module

Fields in com.meyling.principia.module declared as Version

private Version	ModuleAddress.moduleVersion moduleVersion
private Version	ModuleAddress.ruleVersion ruleVersion
private static Version	ModuleContext.kernelVersion version of this kernel
private static Version	ModuleContext.ruleVersion maximum version of supported rules

Methods in com.meyling.principia.module that return Version

Version	ModuleAddress.getRuleVersion()
Version	ModuleAddress.getModuleVersion()
Version	Module.getRuleVersion() Get the rule version this module could use maximal.

Methods in com.meyling.principia.module with parameters of type Version

void	Module.setRuleVersion(Version version) Set the rule version this module could use maximal.
boolean	Version.greaterThan(Version v) Check if this version is greater than another one
boolean	Version.equalWith(Version v) Check if this version is equal to another one.

Constructors in com.meyling.principia.module with parameters of type Version

ModuleAddress(ModuleAddress oldAddress, Name name, Version moduleVersion, Version ruleVersion)
Constructor.