at.logic.skeptik.expression.substitution

mutable

package mutable

Visibility
  1. Public
  2. All

Type Members

  1. class Substitution extends AbstractSubstitution with Map[Var, E] with MapLike[Var, E, Substitution]

    Attributes
    final

Value Members

  1. object Substitution extends AnyRef