Browse code 途中まで main
1 parent 8fd3c0c commit b5eb4d5006d2fc014d66d23b6c4609f19ab84390 Sakoda2269 authored on 20 Dec

Showing 13 changed files

• src/exceptions/SubstituteFailedException.java
• src/inference/InferenceRule.java
• src/inference/equivalence/MetaSemanticEquivalenceRelation.java
• src/inference/equivalence/SemanticEquivalenceProofSystem.java
• src/inference/equivalence/SemanticEquivalenceRelation.java
• src/models/terms/meta/MetaDependencyTermVariable.java
• src/models/terms/meta/MetaEvaluatableTermVariable.java
• src/models/terms/meta/MetaRDLTerm.java
• src/models/terms/meta/MetaVariable.java
• src/models/terms/meta/OrderVariableConstraint.java
• src/tests/equivalence/SubstituteTest.java
• src/tests/terms/meta/SubstituteTest.java
• src/utils/Permutation.java

Ignore Space Show notes View src/exceptions/SubstituteFailedException.java 0 → 100644

Ignore Space Show notes View src/inference/InferenceRule.java

Ignore Space Show notes View src/inference/equivalence/MetaSemanticEquivalenceRelation.java 0 → 100644

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceProofSystem.java 0 → 100644

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceRelation.java 0 → 100644

Ignore Space Show notes View src/models/terms/meta/MetaDependencyTermVariable.java

Ignore Space Show notes View src/models/terms/meta/MetaEvaluatableTermVariable.java

Ignore Space Show notes View src/models/terms/meta/MetaRDLTerm.java

Ignore Space Show notes View src/models/terms/meta/MetaVariable.java

Ignore Space Show notes View src/models/terms/meta/OrderVariableConstraint.java

Ignore Space Show notes View src/tests/equivalence/SubstituteTest.java 0 → 100644

Ignore Space Show notes View src/tests/terms/meta/SubstituteTest.java 0 → 100644

Ignore Space Show notes View src/utils/Permutation.java 0 → 100644

Show line notes below