Package edu.udel.cis.vsl.sarl.IF.expr
Interface BooleanSymbolicConstant
- All Superinterfaces:
BooleanExpression,SymbolicConstant,SymbolicExpression,SymbolicObject
- All Known Implementing Classes:
CnfSymbolicConstant
A
SymbolicConstant of boolean type.-
Nested Class Summary
Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression
SymbolicExpression.SymbolicOperatorNested 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, setValidityMethods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicConstant
name, typeMethods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression
argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, sizeMethods inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject
containsQuantifier, containsSubobject, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong