公理に出現する階数の制約を追加できるようにした

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 公理に出現する階数の制約を追加できるようにした main
1 parent 01402ba commit cd3fde4390e5bf5e635b5c62e5c9a3e9c8ec65e2 Sakoda2269 authored on 5 Nov

Patch

Unified Split

Showing 3 changed files

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

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

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

Show line notes below