• Home
• org.aiddl
• aiddl-common-scala
• 0.5.1
• source code
• PropagationFunction.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.aiddl.common.scala.reasoning.constraint.PropagationFunction.scala Maven / Gradle / Ivy

package org.aiddl.common.scala.reasoning.constraint

import org.aiddl.core.scala.function.Initializable
import org.aiddl.core.scala.representation._

trait PropagationFunction {

  def init(csp: ConstraintSatisfactionProblem): Unit

  def propagate(assignment: List[Term], domains: Map[Term, Seq[Term]]): Option[Map[Term, Seq[Term]]]
}