Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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.