RDLProofSystem/src/main/java/models/terms/meta at 998595c0fc344d63e371333a47e3b92cb2850689 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 194 commits

RDLProofSystem / src / main / java / models / terms / meta /

latest commit 886fd4aa30 Sakoda2269 authored 19 days ago
	..
	MatchConstraint.java	公理追加完了	1 month ago
	MetaDependency.java	dependency axiom unccuried mappingまで	19 days ago
	MetaDependencyTerm.java	dependency axiom unccuried mappingまで	19 days ago
	MetaDependencyTermVariable.java	right sub実装まで	20 days ago
	MetaDependencyVariable.java	right sub実装まで	20 days ago
	MetaDynamicDependency.java	dependency axiom unccuried mappingまで	19 days ago
	MetaDynamicDependencyTerm.java	dependency axiom unccuried mappingまで	19 days ago
	MetaDynamicTerm.java	dynamicのsubstitutionを作成	21 days ago
	MetaEvaluatableTermVariable.java	right sub実装まで	20 days ago
	MetaRDLTerm.java	dependency axiom unccuried mappingまで	19 days ago
	MetaRDLTermVariable.java	right sub実装まで	20 days ago
	MetaResource.java	dependency axiom unccuried mappingまで	19 days ago
	MetaTermGenerator.java	dynamicのsubstitutionを作成	21 days ago
	MetaVariable.java	dependency axiom unccuried mappingまで	19 days ago
	OrderConstraint.java	ディレクトリ構造変更	4 months ago
	OrderVariableConstraint.java	dynamicな項に対応	2 months ago