wyal.lang

Interface Domain.Value.Integer

Enclosing interface:

Domain.Value

public static interface Domain.Value.Integer

Represents an abstract int value which has a potentially infinite number of integer values.

Author:

David J. Pearce

Method Summary

Modifier and Type	Method and Description
Domain.Value.Integer	add(Domain.Value.Integer other)
Domain.Value.Integer	divide(Domain.Value.Integer other)
Domain.Value.Boolean	lessThanOrEqual(Domain.Value.Integer other)
Domain.Value.Integer	multiply(Domain.Value.Integer other)
Domain.Value.Integer	subtract(Domain.Value.Integer other)

Method Detail

lessThanOrEqual

Domain.Value.Boolean lessThanOrEqual(Domain.Value.Integer other)

add

Domain.Value.Integer add(Domain.Value.Integer other)

subtract

Domain.Value.Integer subtract(Domain.Value.Integer other)

multiply

Domain.Value.Integer multiply(Domain.Value.Integer other)

divide

Domain.Value.Integer divide(Domain.Value.Integer other)