java.lang.Object

cruise.umple.nusmv.CTLSpecification

public class CTLSpecification
extends ModuleElement

Method Summary

Modifier and Type	Method	Description
`java.lang.StringBuilder`	`_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)`
`void`	`delete()`
`CTLExpression`	`getCTLExpression()`
`boolean`	`getDisplayNegation()`
`boolean`	`isDisplayNegation()`
`boolean`	`setCTLExpression(CTLExpression aNewCTLExpression)`
`boolean`	`setDisplayNegation(boolean aDisplayNegation)`
`java.lang.String`	`toString()`

getHeader, setHeader

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details
- NL
  
  public static final java.lang.String NL
- TEXT_0
  
  public static final java.lang.String TEXT_0
  
  See Also:
  
  Constant Field Values
- TEXT_1
  
  public static final java.lang.String TEXT_1
  
  See Also:
  
  Constant Field Values
Constructor Details
- CTLSpecification
  
  public CTLSpecification(CTLExpression aCTLExpression)
Method Details
- setDisplayNegation
  
  public boolean setDisplayNegation(boolean aDisplayNegation)
- getDisplayNegation
  
  public boolean getDisplayNegation()
- isDisplayNegation
  
  public boolean isDisplayNegation()
- getCTLExpression
  
  public CTLExpression getCTLExpression()
- setCTLExpression
  
  public boolean setCTLExpression(CTLExpression aNewCTLExpression)
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class ModuleElement
- _toString
  
  public java.lang.StringBuilder _toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class ModuleElement

Class CTLSpecification