Browse code 項にサイズを追加 main
1 parent d8d1b8d commit 5530a2e9df9e3f191cb122e0b1baab9b865fbb3c Sakoda2269 authored on 17 Mar

Showing 11 changed files

• src/Main.java
• src/inference/ProofSystem.java
• src/models/terms/Dependency.java
• src/models/terms/DependencyTerm.java
• src/models/terms/EvaluatableTerm.java
• src/models/terms/RDLTerm.java
• src/models/terms/ResourceConstant.java
• src/models/terms/ResourceVariable.java
• src/models/terms/SetEvaluatableTerm.java
• src/models/terms/meta/MetaRDLTerm.java
• src/models/terms/meta/MetaVariable.java

Ignore Space Show notes View src/Main.java

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

Ignore Space Show notes View src/models/terms/Dependency.java

Ignore Space Show notes View src/models/terms/DependencyTerm.java

Ignore Space Show notes View src/models/terms/EvaluatableTerm.java

Ignore Space Show notes View src/models/terms/RDLTerm.java

Ignore Space Show notes View src/models/terms/ResourceConstant.java

Ignore Space Show notes View src/models/terms/ResourceVariable.java

Ignore Space Show notes View src/models/terms/SetEvaluatableTerm.java

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

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

Show line notes below