RDLProofSystem/src/models/terms at dc7a70045eecfa07d4b6e65b7e1d9c29fe70d54a - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 116 commits

RDLProofSystem / src / models / terms /

latest commit dc7a70045e Sakoda2269 authored on 18 Apr
	..
	meta	書き換えの推論を少し実装	6 months ago
	Dependency.java	書き換えの推論を少し実装	6 months ago
	DependencyTerm.java	依存項の支配項、引数項を複数持てるようにした	7 months ago
	EvaluatableTerm.java	依存項の支配項、引数項を複数持てるようにした	7 months ago
	LinearRightNormalizedType.java	線形右正規形に関する制約を追加	10 months ago
	PrimedTerm.java	書き換えの推論を少し実装	6 months ago
	RDLTerm.java	依存項の支配項、引数項を複数持てるようにした	7 months ago
	Resource.java	書き換えの推論を少し実装	6 months ago
	ResourceConstant.java	項にサイズを追加	8 months ago
	SetEvaluatableTerm.java	項にサイズを追加	8 months ago