LuoYunze06/moonspdx/cmd/main

README
- ::atomAtomInfluence::atom
- ::false_resultAtomInfluence::false_result
- ::relevantAtomInfluence::relevant
- ::true_resultAtomInfluence::true_result
- ::when_falseAtomInfluence::when_false
- ::when_trueAtomInfluence::when_true
- ::nameClaimRelation::name
- ::claimClaimResult::claim
- ::proofClaimResult::proof
- ::exit_codeCommandResult::exit_code
- ::outputCommandResult::output
- ::actualDiagnostic::actual
- ::codeDiagnostic::code
- ::expectedDiagnostic::expected
- ::locationDiagnostic::location
- ::messageDiagnostic::message
- ::newDiagnostic::new
- ::to_textDiagnostic::to_text
- ::alternativesExpression::alternatives
- ::atomsExpression::atoms
- ::canonicalExpression::canonical
- ::evaluate_assignmentExpression::evaluate_assignment
- ::statsExpression::stats
- ::alternativesExpressionStats::alternatives
- ::and_operatorsExpressionStats::and_operators
- ::atomsExpressionStats::atoms
- ::depthExpressionStats::depth
- ::or_operatorsExpressionStats::or_operators
- ::to_textExpressionStats::to_text
- ::decision_nodesInfluenceReport::decision_nodes
- ::influencesInfluenceReport::influences
- ::operationsInfluenceReport::operations
- ::redundantInfluenceReport::redundant
- ::relevantInfluenceReport::relevant
- ::to_jsonInfluenceReport::to_json
- ::to_textInfluenceReport::to_text
- ::canonicalLicenseAtom::canonical
- ::exceptionLicenseAtom::exception
- ::idLicenseAtom::id
- ::newLicenseAtom::new
- ::all_provenProofSuite::all_proven
- ::failedProofSuite::failed
- ::passedProofSuite::passed
- ::resultsProofSuite::results
- ::to_jsonProofSuite::to_json
- ::to_textProofSuite::to_text
- ::leftSemanticClaim::left
- ::nameSemanticClaim::name
- ::relationSemanticClaim::relation
- ::rightSemanticClaim::right
- ::left_implies_rightSemanticComparison::left_implies_right
- ::relationSemanticComparison::relation
- ::right_implies_leftSemanticComparison::right_implies_left
- ::to_jsonSemanticComparison::to_json
- ::to_textSemanticComparison::to_text
- ::defaultSemanticLimits::default
- ::max_nodesSemanticLimits::max_nodes
- ::max_operationsSemanticLimits::max_operations
- ::max_variablesSemanticLimits::max_variables
- ::newSemanticLimits::new
- ::counterexampleSemanticProof::counterexample
- ::decision_nodesSemanticProof::decision_nodes
- ::holdsSemanticProof::holds
- ::operationsSemanticProof::operations
- ::relationSemanticProof::relation
- ::to_jsonSemanticProof::to_json
- ::to_textSemanticProof::to_text
- ::variablesSemanticProof::variables
- ::nameSemanticRelation::name
- ::decision_nodesSemanticSummary::decision_nodes
- ::fingerprintSemanticSummary::fingerprint
- ::modelSemanticSummary::model
- ::operationsSemanticSummary::operations
- ::to_jsonSemanticSummary::to_json
- ::to_textSemanticSummary::to_text
- ::variablesSemanticSummary::variables
- ::to_jsonTruthAssignment::to_json
- ::to_textTruthAssignment::to_text
- ::true_countTruthAssignment::true_count
- ::valuesTruthAssignment::values
- ::assignmentTruthRow::assignment
- ::resultTruthRow::result
- ::rowsTruthTable::rows
- ::to_jsonTruthTable::to_json
- ::to_textTruthTable::to_text
- ::variablesTruthTable::variables
- ::atomTruthValue::atom
- ::valueTruthValue::value
V
analyze_influence
V
analyze_influence_with_limits
V
compare_semantics
V
compare_semantics_with_limits
V
execute
V
help_text
V
is_known_exception
V
known_exception_ids
V
known_license_ids
V
normalize_expression
V
parse_claims
V
parse_expression
V
prove_equivalent
V
prove_equivalent_with_limits
V
prove_implication
V
prove_implication_with_limits
V
render_alternative
V
semantic_summary
V
semantic_summary_with_limits
V
truth_table
V
verify_claims
V
verify_claims_with_limits