• Home
• org.aiddl
• aiddl-common-scala
• 0.5.1
• source code
• Converter.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.Converter.scala Maven / Gradle / Ivy

package org.aiddl.common.scala

import org.aiddl.core.scala.function.Function
import org.aiddl.core.scala.representation.*
import org.aiddl.common.scala.Common.NIL
import org.aiddl.core.scala.util.ComboIterator

trait Converter extends Function {
  private var sub: Substitution = new Substitution()

  def encodeAndGetSub( t: Term ): (Term, Substitution)
  def substitution = sub

  final def encode( t: Term ): Term = {
    val (tEnc, sub) = encodeAndGetSub(t)
    this.sub = sub
    tEnc
  }
  final def decode( t: Term ): Term = t \ sub

  def apply( t: Term ): Term = t match {
    case Tuple(Sym("encode"), a) => encode(a)
    case Tuple(Sym("decode"), a) => decode(a)
    case Tuple(Sym("encode-with-sub"), a) => Tuple(encode(a), sub.asTerm)
    case t => encode(t)
  }
}