ResourceDependencyLogic/src/models/terms/meta at cd3fde4390e5bf5e635b5c62e5c9a3e9c8ec65e2 - k-sakoda/ResourceDependencyLogic

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 64 commits

ResourceDependencyLogic / src / models / terms / meta /

latest commit cd3fde4390 Sakoda2269 authored on 5 Nov
	..
	MetaDependencyTermVariable.java	ディレクトリ変更	6 months ago
	MetaDependencyVariable.java	ディレクトリ変更	6 months ago
	MetaEvaluatableTermSet.java	集合の形の評価可能項に対応	5 months ago
	MetaEvaluatableTermVariable.java	ディレクトリ変更	6 months ago
	MetaRDLTerm.java	集合の形の評価可能項に対応	5 months ago
	MetaRDLTermVariable.java	ディレクトリ変更	6 months ago
	MetaResourceVariable.java	ディレクトリ変更	6 months ago
	MetaVariable.java	ディレクトリ変更	6 months ago
	OrderConstraint.java	ディレクトリ変更	6 months ago
	OrderVariableConstraint.java	公理に出現する階数の制約を追加できるようにした	5 months ago