Class HoldsQuery

java.lang.Object
All Implemented Interfaces:
Comparable<Proposition>, Formula, Atom, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class HoldsQuery extends QueryProposition
This class represents a holds query in the action query language S. Such queries have the following form: "holds F where F is a state formula".
Author:
Sebastian Homann