Uses of Interface
dev.civl.sarl.IF.object.IntObject

Packages that use IntObject

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr	The public interface package dealing with symbolic expressions.
dev.civl.sarl.IF.expr.valueSetReference
dev.civl.sarl.IF.object	The object package provides the SymbolicObject interface, which is the root of the symbolic object type hierarchy.
dev.civl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.
dev.civl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.

Uses of IntObject in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF with parameters of type IntObject

Modifier and Type	Method	Description
TupleComponentReference	ExpressionFactory.tupleComponentReference(ReferenceExpression tupleReference, IntObject fieldIndex)	Given a reference to a tuple, and a field index, returns a reference to that component of the tuple
UnionMemberReference	ExpressionFactory.unionMemberReference(ReferenceExpression unionReference, IntObject memberIndex)	Given a reference to a union (expression of union type) and an index of a member type of that union, returns a reference to the underlying element
VSTupleComponentReference	ExpressionFactory.vsTupleComponentReference(ValueSetReference parent, IntObject fieldIndex)	Given a reference to a (set-of) tuple(s), and a field index, returns a reference to that (set-of) component(s) of the tuple(s).
VSUnionMemberReference	ExpressionFactory.vsUnionMemberReference(ValueSetReference parent, IntObject memberIndex)	Given a reference to a (set-of) union(s) (expression of union type) and an index of a member type of that union, returns a reference to the (set-of) underlying element(s).

Uses of IntObject in dev.civl.sarl.ideal.IF

Methods in dev.civl.sarl.ideal.IF that return IntObject

Modifier and Type	Method	Description
IntObject	IdealFactory.oneIntObject()	Returns an IntObject wrapping the int 1.

Uses of IntObject in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return IntObject

Modifier and Type	Method	Description
IntObject	CoreUniverse.intObject(int value)	Returns the IntObject wrapping the given Java int value.

Methods in dev.civl.sarl.IF with parameters of type IntObject

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.concreteValueOfUninterpretedType(SymbolicUninterpretedType type, IntObject key)	Returns a symbolic expression of a SymbolicUninterpretedType.
SymbolicExpression	CoreUniverse.derivative(SymbolicExpression function, IntObject index, IntObject degree)	Returns the function which is the degree-th derivative of function with respect to the index-th parameter.
BooleanExpression	CoreUniverse.differentiable(SymbolicExpression function, IntObject degree, Iterable<? extends NumericExpression> lowerBounds, Iterable<? extends NumericExpression> upperBounds)	Returns an expression of boolean type which encodes the claim that a function is differentiable on a closed interval in R^n.
TupleComponentReference	CoreUniverse.tupleComponentReference(ReferenceExpression tupleReference, IntObject fieldIndex)	Given a reference to a tuple, and a field index, returns a reference to that component of the tuple.
SymbolicExpression	CoreUniverse.tupleRead(SymbolicExpression tuple, IntObject index)	Returns an expression that represents the result of reading a component in a tuple value.
SymbolicExpression	CoreUniverse.tupleWrite(SymbolicExpression tuple, IntObject index, SymbolicExpression value)	Returns an expression representing the result of modifying a tuple by changing the value of one component.
SymbolicExpression	CoreUniverse.unionExtract(IntObject memberIndex, SymbolicExpression object)	Casts an object whose type is a union type to a representation whose type is the appropriate member type of the union type.
SymbolicExpression	CoreUniverse.unionInject(SymbolicUnionType unionType, IntObject memberIndex, SymbolicExpression object)	Casts an object belonging to one of the members of a union type to the union type.
UnionMemberReference	CoreUniverse.unionMemberReference(ReferenceExpression unionReference, IntObject memberIndex)	Given a reference to a union (expression of union type) and an index of a member type of that union, returns a reference to the underlying element.
BooleanExpression	CoreUniverse.unionTest(IntObject memberIndex, SymbolicExpression object)	Tests whether an object of a union type is in the image of injection from the member type of the given index.
VSTupleComponentReference	CoreUniverse.vsTupleComponentReference(ValueSetReference parent, IntObject fieldIndex)	Given a reference to a (set-of) tuple(s), and a field index, returns a reference to that (set-of) component(s) of the tuple(s).
VSUnionMemberReference	CoreUniverse.vsUnionMemberReference(ValueSetReference parent, IntObject memberIndex)	Given a reference to a (set-of) union(s) (expression of union type) and an index of a member type of that union, returns a reference to the (set-of) underlying element(s).

Uses of IntObject in dev.civl.sarl.IF.expr

Methods in dev.civl.sarl.IF.expr that return IntObject

Modifier and Type	Method	Description
IntObject	TupleComponentReference.getIndex()	Returns the index of the referenced field (i.e., component).
IntObject	UnionMemberReference.getIndex()	Gets the member index.

Uses of IntObject in dev.civl.sarl.IF.expr.valueSetReference

Methods in dev.civl.sarl.IF.expr.valueSetReference that return IntObject

Modifier and Type	Method	Description
IntObject	VSTupleComponentReference.getIndex()	Returns the index of the referenced field (i.e., component).
IntObject	VSUnionMemberReference.getIndex()	Gets the member index.

Uses of IntObject in dev.civl.sarl.IF.object

Methods in dev.civl.sarl.IF.object that return IntObject

Modifier and Type	Method	Description
IntObject	IntObject.maxWith(IntObject that)	Returns the maximum of this and that as an IntObject.
IntObject	IntObject.minus(IntObject that)	Returns the result of subtracting that from this, as an IntObject.
IntObject	IntObject.minWith(IntObject that)	Returns the minimum of this and that as an IntObject.
IntObject	IntObject.plus(IntObject that)	Returns the result of addting this and that, as an IntObject.

Methods in dev.civl.sarl.IF.object with parameters of type IntObject

Modifier and Type	Method	Description
IntObject	IntObject.maxWith(IntObject that)	Returns the maximum of this and that as an IntObject.
IntObject	IntObject.minus(IntObject that)	Returns the result of subtracting that from this, as an IntObject.
IntObject	IntObject.minWith(IntObject that)	Returns the minimum of this and that as an IntObject.
IntObject	IntObject.plus(IntObject that)	Returns the result of addting this and that, as an IntObject.

Uses of IntObject in dev.civl.sarl.IF.type

Methods in dev.civl.sarl.IF.type that return types with arguments of type IntObject

Modifier and Type	Method	Description
Function<SymbolicExpression,IntObject>	SymbolicUninterpretedType.soleSelector()

Uses of IntObject in dev.civl.sarl.object.IF

Methods in dev.civl.sarl.object.IF that return IntObject

Modifier and Type	Method	Description
IntObject	ObjectFactory.intObject(int value)
IntObject	ObjectFactory.oneIntObj()
IntObject	ObjectFactory.zeroIntObj()