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

Go to download

Show more of this group Show more artifacts with this name
Show all versions of aiddl-common-scala Show documentation

Provides common types and algorithm implementations for the fast prototyping integrative AI systems with the AIDDL framework.

The newest version!

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

import org.aiddl.core.scala.function.Function
import org.aiddl.core.scala.representation.*

class AllDifferentConstraint(n: Int) extends Function {
  override def apply(x: Term): Term =
    Bool(x.asTup.toSet.size == n)
}