Module dev.civl.sarl

Package dev.civl.sarl.IF.expr

Interface BooleanSymbolicConstant

All Superinterfaces:

BooleanExpression, SymbolicConstant, SymbolicExpression, SymbolicObject

public interface BooleanSymbolicConstant
extends SymbolicConstant, BooleanExpression

A SymbolicConstant of boolean type.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Method Summary

Methods inherited from interface dev.civl.sarl.IF.expr.BooleanExpression

getClauses, getUnsatisfiability, getValidity, setUnsatisfiability, setValidity

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicConstant

name, type

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

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

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

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