ResourceDependencyLogic/src/models/terms at 7b2a4e2a7da9335140dca1e4e830756ec2f2e61a - k-sakoda/ResourceDependencyLogic

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 105 commits

ResourceDependencyLogic / src / models / terms /

latest commit 378e2dfa01 Sakoda2269 authored on 28 Feb
	..
	meta	公理による推論を実装中	2 months ago
	Dependency.java	セッターを追加	5 months ago
	DependencyTerm.java	意味論的同値関係について実装	4 months ago
	EvaluatableTerm.java	線形右正規形に関する制約を追加	4 months ago
	LinearRightNormalizedType.java	線形右正規形に関する制約を追加	4 months ago
	RDLTerm.java	ディレクトリ変更	6 months ago
	ResourceConstant.java	線形右正規形に関する制約を追加	4 months ago
	ResourceVariable.java	線形右正規形に関する制約を追加	4 months ago
	SetEvaluatableTerm.java	線形右正規形に関する制約を追加	4 months ago