abstract class AbstractSkeletonGenerator extends java.lang.Object implements SkeletonGenerator
DEFAULT_TACLET_TRANSLATOR
Constructor and Description |
---|
AbstractSkeletonGenerator() |
Modifier and Type | Method and Description |
---|---|
private ImmutableList<Term> |
getFormulaeOfSemisequent(Semisequent s)
Collects all formulae of a semisequent in a set.
|
protected Term |
translate(Sequent s,
TermServices services)
Translates a sequent to a term by using the following translations rules:
T ==> D is translated to: And(T)->Or(D).
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
translate
protected Term translate(Sequent s, TermServices services)
s
- The sequent to be translated.services
- TODOnull
if
both antecedent and succendent are empty.private ImmutableList<Term> getFormulaeOfSemisequent(Semisequent s)
s
- Semisequent.s
.