gapt/gapt/gapt.proofs/gapt.proofs.ceres/Struct

Struct

gapt.proofs.ceres.Struct

trait Struct

The superclass for all struct elements: atom, negated atom, junction, times and the neutral elememts for the latter two. For details refer to Bruno Woltzenlogel-Paleo's PhD Thesis.

Attributes

Source: Struct.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class A

class CLS

class Dual

class EmptyPlusJunction

class EmptyTimesJunction

class Plus

class Times
Show all

Members list

Value members

Abstract methods

Calculates the maximum number of times-junction alternations of all paths from the root to one of the leaves. The alternations are a measure for the complexity of the generated clause/sequent set.

Attributes

Returns: the number of times-junction alternations
Source: Struct.scala

Attributes

Source: Struct.scala

Struct equality without taking the additional data into account.

Value parameters

that: the struct to compare with

Attributes

Returns: true if the structs are equal modulo data, false otherwise
Source: Struct.scala

Attributes

Source: Struct.scala

Calculates the size (number of nodes of the tree) of the struct.

Attributes

Returns: the size of the struct
Source: Struct.scala

Allows to access the calculus-specific data of the struct

Attributes

Returns: the corresponding data element
Source: Struct.scala

In this article

Generated with