Last published: September 16, 2008 5:43:56 AM PDT
|
Doc for 1.0
SourceForge.net Project Page
|
Stanford SUIF Group
Documentation
What is it?
Links
NEW! PLDI'06 tutorial
PLDI'04 paper
PODS'05 paper
Datalog examples
Download
NEW! Applet version
Download JAR file
Project Documentation
About
Project Info
Project Reports
Development Process
Legend
External Link
Opens in a new window
File Statistics
Back to Index Page
File Count
Average Filesize
Commits (per file)
File
Revisions
net/sf/bddbddb/FindBestDomainOrder.java
54
org/sf/bddbddb/Solver.java
52
org/sf/bddbddb/BDDRelation.java
44
org/sf/bddbddb/BDDInferenceRule.java
41
net/sf/bddbddb/BDDInferenceRule.java
40
net/sf/bddbddb/BDDSolver.java
34
org/sf/bddbddb/BDDSolver.java
33
org/sf/bddbddb/ir/DomainAssignment.java
29
org/sf/bddbddb/InferenceRule.java
28
net/sf/bddbddb/Solver.java
26
org/sf/bddbddb/ir/IR.java
24
org/sf/bddbddb/ir/UFDomainAssignment.java
23
net/sf/bddbddb/Stratify.java
23
org/sf/bddbddb/FindBestDomainOrder.java
22
net/sf/bddbddb/BDDRelation.java
21
project.xml
19
org/sf/bddbddb/ir/BDDOperationInterpreter.java
19
org/sf/bddbddb/ir/BDDInterpreter.java
19
org/sf/bddbddb/Relation.java
19
org/sf/bddbddb/Stratify.java
17
Lines of Code (per file)
File
Lines of Code
net/sf/bddbddb/FindBestDomainOrder.java
2110
net/sf/bddbddb/dataflow/PartialRedundancy.java
1416
net/sf/bddbddb/InferenceRule.java
1194
net/sf/bddbddb/DatalogParser.java
1135
net/sf/bddbddb/BDDRelation.java
1131
net/sf/bddbddb/Solver.java
1130
net/sf/bddbddb/dataflow/PartialOrder.java
1068
net/sf/bddbddb/BDDInferenceRule.java
1053
net/sf/bddbddb/order/Order.java
745
net/sf/bddbddb/dataflow/ConstantProp.java
737
net/sf/bddbddb/ir/DomainAssignment.java
663
net/sf/bddbddb/BDDSolver.java
642
net/sf/bddbddb/Stratify.java
626
net/sf/bddbddb/ir/BDDOperationInterpreter.java
571
net/sf/bddbddb/order/OrderConstraintSet.java
544
net/sf/bddbddb/dataflow/CopyProp.java
497
net/sf/bddbddb/LSRelation.java
445
net/sf/bddbddb/Interactive.java
436
net/sf/bddbddb/ir/IR.java
420
net/sf/bddbddb/order/TrialDataRepository.java
400
Authors (per file)
File
Authors
net/sf/bddbddb/order/WekaInterface.java
2
net/sf/bddbddb/order/VarToAttribMap.java
2
net/sf/bddbddb/order/UnorderedPair.java
2
net/sf/bddbddb/order/TrialInstances.java
2
net/sf/bddbddb/order/TrialInstance.java
2
net/sf/bddbddb/order/TrialInfo.java
2
net/sf/bddbddb/order/TrialDataRepository.java
2
net/sf/bddbddb/order/StackQueue.java
2
net/sf/bddbddb/order/Queue.java
2
net/sf/bddbddb/order/OrderIterator.java
2
net/sf/bddbddb/order/OrderConstraintSet.java
2
net/sf/bddbddb/order/OrderConstraint.java
2
net/sf/bddbddb/order/Order.java
2
net/sf/bddbddb/order/MyId3.java
2
net/sf/bddbddb/order/MyDiscretize.java
2
net/sf/bddbddb/order/MapBasedTranslator.java
2
net/sf/bddbddb/order/IdentityTranslator.java
2
net/sf/bddbddb/order/FilterTranslator.java
2
net/sf/bddbddb/order/EpisodeCollection.java
2
net/sf/bddbddb/order/BaggedId3.java
2