private static class Semisequent.Empty extends Semisequent
EMPTY_SEMISEQUENT
Modifier | Constructor and Description |
---|---|
private |
Empty() |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(SequentFormula sequentFormula)
checks if a
SequentFormula is in this Semisequent |
boolean |
equals(java.lang.Object o) |
SequentFormula |
get(int idx)
gets the element at a specific index
|
SequentFormula |
getFirst() |
int |
hashCode() |
int |
indexOf(SequentFormula sequentFormula)
returns index of a
SequentFormula |
SemisequentChangeInfo |
insert(int idx,
SequentFormula sequentFormula)
inserts the element always at index 0 ignores the first
argument
|
SemisequentChangeInfo |
insertFirst(SequentFormula sequentFormula)
inserts the element at index 0
|
SemisequentChangeInfo |
insertLast(SequentFormula sequentFormula)
inserts the element at the end of the semisequent
|
boolean |
isEmpty()
is this a semisequent that contains no formulas
|
SemisequentChangeInfo |
remove(int idx)
removes an element
|
SemisequentChangeInfo |
replace(int idx,
SequentFormula sequentFormula)
replaces the element at place idx with sequentFormula
|
int |
size() |
java.lang.String |
toString() |
asList, containsEqual, insert, insertFirst, insertLast, iterator, replace, replace, replace
public SemisequentChangeInfo insert(int idx, SequentFormula sequentFormula)
insert
in class Semisequent
idx
- int encoding the place the element has to be putsequentFormula
- SequentFormula
to be insertedpublic SemisequentChangeInfo insertFirst(SequentFormula sequentFormula)
insertFirst
in class Semisequent
sequentFormula
- SequentFormula
to be insertedpublic SemisequentChangeInfo insertLast(SequentFormula sequentFormula)
insertLast
in class Semisequent
sequentFormula
- SequentFormula
to be insertedpublic boolean isEmpty()
isEmpty
in class Semisequent
public SemisequentChangeInfo replace(int idx, SequentFormula sequentFormula)
replace
in class Semisequent
idx
- an int specifying the index of the element that
has to be replacedsequentFormula
- the SequentFormula
replacing the old
element at index idxpublic int size()
size
in class Semisequent
public SemisequentChangeInfo remove(int idx)
remove
in class Semisequent
idx
- int being the index of the element that has to
be removedpublic int indexOf(SequentFormula sequentFormula)
SequentFormula
indexOf
in class Semisequent
sequentFormula
- the SequentFormula
the index want to be
determinedpublic SequentFormula get(int idx)
get
in class Semisequent
idx
- int representing the index of the element we
want to haveSequentFormula
found at index idxpublic SequentFormula getFirst()
getFirst
in class Semisequent
public boolean contains(SequentFormula sequentFormula)
SequentFormula
is in this Semisequentcontains
in class Semisequent
sequentFormula
- the SequentFormula
to look forpublic boolean equals(java.lang.Object o)
equals
in class Semisequent
public int hashCode()
hashCode
in class Semisequent
public java.lang.String toString()
toString
in class Semisequent