Improve documentation

JonathanBurke · Aug 8, 2013 · a3c9a8e · a3c9a8e
1 parent 638c5c1
commit a3c9a8e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/checkers/inference/Constraint.scala b/src/checkers/inference/Constraint.scala
@@ -65,6 +65,7 @@ case class SubtypeConstraint(sub: Slot, sup: Slot) extends Constraint {
  }
 }
 
+/** Represents viewpoint adaptation. */
 case class CombineConstraint(target: Slot, decl: Slot, res: Slot) extends Constraint {
  override def toString(): String = {
  "combine constraint: " + target + " |> " + decl + " = " + res

diff --git a/src/checkers/inference/pbssolver/README b/src/checkers/inference/pbssolver/README
@@ -0,0 +1,3 @@
+"PBS" stands for "pseudo boolean solver", which means a solver for boolean
+constraints (like SAT), but with preferences or weights attached (like
+Max-SAT).