Package

at.logic.gapt.proofs.ceres

struct

Permalink

package struct

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. case class A(fo: FormulaOccurrence) extends Struct with Product with Serializable

    Permalink
  2. class ClauseSetSymbol extends SymbolA

    Permalink
  3. case class Dual(sub: Struct) extends Struct with Product with Serializable

    Permalink
  4. case class Plus(left: Struct, right: Struct) extends Struct with Product with Serializable

    Permalink
  5. trait Struct extends AnyRef

    Permalink
  6. class Times extends Struct

    Permalink

Value Members

  1. object EmptyPlusJunction extends Struct with Product with Serializable

    Permalink
  2. object EmptyTimesJunction extends Struct with Product with Serializable

    Permalink
  3. object PlusN

    Permalink
  4. object StructCreators extends Logger

    Permalink
  5. object Times

    Permalink
  6. object TypeSynonyms

    Permalink
  7. object coloredStructString

    Permalink

    Returns s.toString with color coding of struct operators.

    Returns s.toString with color coding of struct operators. When a big struct is loaded in the cli, the string truncation can mess up the terminal, therefore this is not the default behaviour.

  8. object cutConfToString

    Permalink
  9. object cutOccConfigToCutConfig

    Permalink
  10. object groundStruct

    Permalink
  11. object structToExpressionTree

    Permalink
  12. object unfoldGroundStruct

    Permalink

Ungrouped