Hilbert II - JAVA-Packages - Principia Mathematica II
A B C D E F G H I L M N O P Q R S T U V W

B

BASIC_FORMULA_PATTERN_VARIABLE - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a FormulaPatternVariable
BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a SubjectVariablePatternVariable
BasicConstants - interface com.meyling.principia.logic.basic.BasicConstants.
This interface provides constants of this package.
BasicCreator - class com.meyling.principia.logic.basic.BasicCreator.
This class provides static methods for reading and writing an Argument.
BasicCreator() - Constructor for class com.meyling.principia.logic.basic.BasicCreator
 
BasicFormulaPatternVariable - class com.meyling.principia.logic.basic.BasicFormulaPatternVariable.
Pattern variable, for matching purposes.
BasicFormulaPatternVariable(Argument[]) - Constructor for class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
Constructs a pattern variable.
BasicPatternVariable - class com.meyling.principia.logic.basic.BasicPatternVariable.
Pattern variable, for matching purposes.
BasicPatternVariable(Argument[]) - Constructor for class com.meyling.principia.logic.basic.BasicPatternVariable
Constructs a pattern variable.
BasicPatternVariables - class com.meyling.principia.logic.basic.BasicPatternVariables.
Set of pattern variables.
BasicPatternVariables() - Constructor for class com.meyling.principia.logic.basic.BasicPatternVariables
Construct an empty set of pattern variables.
BasicPatternVariables(PatternVariables) - Constructor for class com.meyling.principia.logic.basic.BasicPatternVariables
Construct an set of pattern variables by an PatternVariables object.
BasicPredicateVariablePatternVariable - class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable.
Pattern variable, for matching purposes.
BasicPredicateVariablePatternVariable(Argument[]) - Constructor for class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
Constructs a pattern variable.
BasicSubjectVariablePatternVariable - class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable.
Pattern variable, for matching purposes.
BasicSubjectVariablePatternVariable(Argument[]) - Constructor for class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
Constructs a pattern variable.
BasicSubjectVariablePatternVariable(int) - Constructor for class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
Constructs a pattern variable.
BrowserLauncher - class com.meyling.principia.io.BrowserLauncher.
BrowserLauncher is a class that provides one static method, openURL, which opens the default web browser for the current user of the system to the given URL.

Hilbert II - JAVA-Packages - Principia Mathematica II
A B C D E F G H I L M N O P Q R S T U V W
©left GNU General Public Licence
All Rights Reserved.