Package owl.ltl.tlsf
Class Tlsf
- java.lang.Object
-
- owl.ltl.tlsf.Tlsf
-
@Immutable public abstract class Tlsf extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classTlsf.Semantics
-
Constructor Summary
Constructors Constructor Description Tlsf()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description List<Formula>assert_()Formulaassume()protected voidcheck()abstract Stringdescription()List<Formula>guarantee()Formulainitially()abstract BitSetinputs()intnumberOfInputs()abstract BitSetoutputs()Formulapreset()Formularequire()abstract Tlsf.Semanticssemantics()abstract Tlsf.Semanticstarget()abstract Stringtitle()List<LabelledFormula>toAssertGuaranteeConjuncts()LabelledFormulatoFormula()abstract List<String>variables()
-
-
-
Method Detail
-
assume
@Default public Formula assume()
-
description
public abstract String description()
-
initially
@Default public Formula initially()
-
inputs
public abstract BitSet inputs()
-
outputs
public abstract BitSet outputs()
-
preset
@Default public Formula preset()
-
require
@Default public Formula require()
-
semantics
public abstract Tlsf.Semantics semantics()
-
target
public abstract Tlsf.Semantics target()
-
title
public abstract String title()
-
numberOfInputs
@Derived public int numberOfInputs()
-
toFormula
@Derived public LabelledFormula toFormula()
-
toAssertGuaranteeConjuncts
@Derived public List<LabelledFormula> toAssertGuaranteeConjuncts()
-
check
@Check protected void check()
-
-