Something went wrong. Try again.
The Package Calculus
Something went wrong. Try again.
1.5 kB · 36 lines
at dev
12345678910111213141516171819202122232425262728293031323334353637import PackageCalculus
#print axioms PackageCalculus.version_formula_correct
#print axioms PackageCalculus.Conflict.conflict_soundness#print axioms PackageCalculus.Conflict.conflict_completeness
#print axioms PackageCalculus.Concurrent.concurrent_soundness#print axioms PackageCalculus.Concurrent.concurrent_completeness
#print axioms PackageCalculus.PeerDep.peer_soundness#print axioms PackageCalculus.PeerDep.peer_completeness
#print axioms PackageCalculus.Visibility.visibility_soundness#print axioms PackageCalculus.Visibility.visibility_completeness
#print axioms PackageCalculus.Feature.feature_soundness#print axioms PackageCalculus.Feature.feature_completeness
#print axioms PackageCalculus.PkgFormula.package_formula_soundness#print axioms PackageCalculus.PkgFormula.package_formula_completeness
#print axioms PackageCalculus.VarFormula.variable_formula_soundness#print axioms PackageCalculus.VarFormula.variable_formula_completeness
#print axioms PackageCalculus.Virtual.virtual_soundness#print axioms PackageCalculus.Virtual.virtual_completeness
#print axioms PackageCalculus.Composition.concurrent_feature_soundness#print axioms PackageCalculus.Composition.concurrent_feature_completeness
#print axioms PackageCalculus.Complexity.satRed_soundness#print axioms PackageCalculus.Complexity.satRed_completeness
#print axioms PackageCalculus.Complexity.satEncoding_soundness#print axioms PackageCalculus.Complexity.satEncoding_completeness