astra.formula.ScopedGoal

public class ScopedGoal
extends Object
implements Formula

Constructor Details
- ScopedGoal
  
  public ScopedGoal(String scope, Goal goal)
Method Details
- formula
  
  public Goal formula()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- accept
  
  public Object accept(LogicVisitor visitor)
  
  Specified by:
  
  accept in interface Formula
- matches
  
  public boolean matches(Formula formula)
  
  Specified by:
  
  matches in interface Formula
- scope
  
  public String scope()

Modifier and Type	Method	Description
`Object`	`accept(LogicVisitor visitor)`
`Goal`	`formula()`
`boolean`	`matches(Formula formula)`
`String`	`scope()`
`String`	`toString()`

Class ScopedGoal

Constructor Summary