EquationConj

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val AC: AC_EQUATIONS.type

val FALSE: EquationConj

val TRUE: EquationConj

def apply(lhs: LinearCombination, order: TermOrder): EquationConj

def apply(lhss: Iterable[LinearCombination], modEquations: ReduceWithEqs, order: TermOrder): EquationConj

def apply(lhss: Iterable[LinearCombination], order: TermOrder): EquationConj

Create an equation conjunction from an arbitrary set of equations (left-hand sides).

def apply(lhss: Iterator[LinearCombination], modEquations: ReduceWithEqs, order: TermOrder): EquationConj

def apply(lhss: Iterator[LinearCombination], modEquations: ReduceWithEqs, logger: ComputationLogger, order: TermOrder): EquationConj

Create an equation conjunction from an arbitrary set of equations (left-hand sides), module another set of equations

def apply(lhss: Iterator[LinearCombination], order: TermOrder): EquationConj

def apply(lhss: Iterator[LinearCombination], logger: ComputationLogger, order: TermOrder): EquationConj

Create an equation conjunction from an arbitrary set of equations (left-hand sides).

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def conj(conjs: Iterable[EquationConj], order: TermOrder): EquationConj

def conj(conjs: Iterator[EquationConj], order: TermOrder): EquationConj

def conj(conjs: Iterable[EquationConj], logger: ComputationLogger, order: TermOrder): EquationConj

def conj(conjs: Iterator[EquationConj], logger: ComputationLogger, order: TermOrder): EquationConj

Compute the conjunction of a number of systems of equations.

def createFromReducedSeq(lhss: Seq[LinearCombination], order: TermOrder): EquationConj

Create an equation conjunction from a canonised, reduced and sorted set of equations (left-hand sides).

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit