RDLProofSystem/src/main/java/models/terms/meta at 32646273d5cca3f2b0f7b4b6c60da23a94ede56e - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 207 commits

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

latest commit 6062811f20 Sakoda2269 authored 13 days ago
	..
	MatchConstraint.java	in, codomain membership, domain membershipを実装	14 days ago
	MetaConstant.java	公理見直し中	13 days ago
	MetaDependency.java	requiredAssumptions実装まで	14 days ago
	MetaDependencyTerm.java	requiredAssumptions実装まで	14 days ago
	MetaDependencyTermVariable.java	right sub実装まで	20 days ago
	MetaDependencyVariable.java	right sub実装まで	20 days ago
	MetaDynamicDependency.java	in, codomain membership, domain membershipを実装	14 days ago
	MetaDynamicDependencyTerm.java	in, codomain membership, domain membershipを実装	14 days ago
	MetaDynamicTerm.java	dynamicのsubstitutionを作成	20 days ago
	MetaEvaluatableTermVariable.java	right sub実装まで	20 days ago
	MetaRDLTerm.java	公理見直し中	13 days ago
	MetaRDLTermVariable.java	right sub実装まで	20 days ago
	MetaResource.java	公理見直し中	13 days ago
	MetaTermGenerator.java	dynamicのsubstitutionを作成	20 days ago
	MetaVariable.java	requiredAssumptions実装まで	14 days ago
	OrderConstraint.java	ディレクトリ構造変更	4 months ago
	OrderVariableConstraint.java	dynamicな項に対応	2 months ago