ResourceDependencyLogic/src/models/terms at e4e056d9457e4f23a3f448dbea5754ed711ec6b2 - k-sakoda/ResourceDependencyLogic

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 64 commits

ResourceDependencyLogic / src / models / terms /

latest commit cd3fde4390 Sakoda2269 authored on 5 Nov
	..
	meta	公理に出現する階数の制約を追加できるようにした	5 months ago
	Dependency.java	Dependency#toStringがバグっていたので修正	6 months ago
	DependencyTerm.java	線形右正規化のバグを修正	6 months ago
	EvaluatableTerm.java	ディレクトリ変更	6 months ago
	RDLTerm.java	ディレクトリ変更	6 months ago
	ResourceConstant.java	ディレクトリ変更	6 months ago
	ResourceVariable.java	ディレクトリ変更	6 months ago
	SetEvaluatableTerm.java	ディレクトリ変更	6 months ago