Hilbert II - JAVA-Packages - Principia Mathematica II

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

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

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

Methods in com.meyling.principia.logic.basic with parameters of type PropositionVariables
 boolean PropositionVariables.emptyIntersection(PropositionVariables variables)
          Does this object have an empty intersection with another set of proposition variables?
 boolean PropositionVariables.contains(PropositionVariables variables)
          Does this object contain another set of proposition variables?
 void PropositionVariables.addAll(PropositionVariables newOnes)
          Add all these proposition variables.
 boolean PropositionVariables.equals(PropositionVariables variables)
          Is this object equal to another one?
 

Constructors in com.meyling.principia.logic.basic with parameters of type PropositionVariables
PropositionVariables(PropositionVariables already)
          Construct a new set of proposition variables with the same entires as the given one.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.