Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.basic.PropositionVariable

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

Uses of PropositionVariable in com.meyling.principia.logic.basic
 

Methods in com.meyling.principia.logic.basic with parameters of type PropositionVariable
 void PropositionVariables.add(PropositionVariable variable)
          Add a proposition variable to the set.
 boolean PropositionVariables.contains(PropositionVariable variable)
          Check if a certain proposition variable is already in the set.
 void PropositionVariables.remove(PropositionVariable variable)
          Remove a proposition variable or a pattern variable from the set.
 

Constructors in com.meyling.principia.logic.basic with parameters of type PropositionVariable
PropositionVariables(PropositionVariable[] already)
          Construct a new set of proposition variables with some initial entries.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.