Package edu.udel.cis.vsl.sarl.IF.expr

Interface BooleanSymbolicConstant

All Superinterfaces:

BooleanExpression, SymbolicConstant, SymbolicExpression, SymbolicObject

All Known Implementing Classes:

CnfSymbolicConstant

public interface BooleanSymbolicConstant
extends SymbolicConstant, BooleanExpression

A SymbolicConstant of boolean type.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Method Summary

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.BooleanExpression

getClauses, getUnsatisfiability, getValidity, setUnsatisfiability, setValidity

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicConstant

name, type

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, size

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong