ResourceDependencyLogic/src/models/terms at 436801ee2ee6edb7d8637dfc7ffdec0a41ba169c - k-sakoda/ResourceDependencyLogic

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 118 commits

ResourceDependencyLogic / src / models / terms /

latest commit 436801ee2e Sakoda2269 authored 8 days ago
	..
	meta	書き換えの推論を少し実装	1 month ago
	Dependency.java	書き換えの推論を少し実装	1 month ago
	DependencyTerm.java	DependencyTermの支配項に項が来れないようにした	29 days ago
	EvaluatableTerm.java	依存項の支配項、引数項を複数持てるようにした	1 month ago
	LinearRightNormalizedType.java	線形右正規形に関する制約を追加	5 months ago
	PrimedTerm.java	fix PrimedTermのコンストラクタがprotectedだったのでpublicにした	8 days ago
	RDLTerm.java	依存項の支配項、引数項を複数持てるようにした	1 month ago
	Resource.java	書き換えの推論を少し実装	1 month ago
	ResourceConstant.java	項にサイズを追加	2 months ago
	SetEvaluatableTerm.java	項にサイズを追加	2 months ago