binary-relation-properties-seeker-master
src
main
resources
binary_relations.txt
1KB
scala
strategy
property
PropertyCheckStrategy.scala
149B
impl
SymmetryCheckStrategy.scala
512B
NegativelyTransitivityCheckStrategy.scala
435B
ReflexivityCheckStrategy.scala
393B
TransitivityCheckStrategy.scala
684B
AntiSymmetryCheckStrategy.scala
492B
AntiReflexivityCheckStrategy.scala
397B
ConnectivityCheckStrategy.scala
764B
AcyclicityCheckStrategy.scala
2KB
AsymmetryCheckStrategy.scala
1KB
Main.scala
2KB
entity
Relation.scala
1KB
RelationClasses.scala
1KB
RelationProperty.scala
260B
util
RelationPrinter.scala
537B
RelationReader.scala
938B
build.sbt
186B
.idea
scala_compiler.xml
277B
codeStyles
Project.xml
263B
codeStyleConfig.xml
149B
misc.xml
256B
vcs.xml
180B
encodings.xml
212B
.gitignore
314B
sbt.xml
579B
.gitignore
3KB
project
plugins.sbt
60B
build.properties
19B
暂无评论