RDLProofSystem / src / main / java / models / terms / meta /
@Sakoda2269 Sakoda2269 authored 26 days ago
..
MatchConstraint.java MetaDynamicTerm追加 26 days ago
MetaDependencyTermVariable.java ディレクトリ構造変更 4 months ago
MetaDependencyVariable.java ディレクトリ構造変更 4 months ago
MetaDynamicTerm.java MetaDynamicTerm追加 26 days ago
MetaEvaluatableTermVariable.java ディレクトリ構造変更 4 months ago
MetaRDLTerm.java MetaDynamicTerm追加 26 days ago
MetaRDLTermVariable.java ディレクトリ構造変更 4 months ago
MetaResource.java isMatchedByの戻り値と引数の型を変更 1 month ago
MetaTermGenerator.java MetaDynamicTerm追加 26 days ago
MetaTermPairGenerator.java MetaDynamicTerm追加 26 days ago
MetaVariable.java MetaDynamicTerm追加 26 days ago
OrderConstraint.java ディレクトリ構造変更 4 months ago
OrderVariableConstraint.java dynamicな項に対応 1 month ago