Interface Term<T>

All Known Subinterfaces:
Domain<T>, Var<T>
All Known Implementing Classes:
Constant, ConstantDomain, ConstraintCall, ExplodedSet, FunctionCall, IntMinus, IntPlus, ListBuilder, Minus, Mult, Plus, Primitive, ProtectedTerm, SetBuilder, SetMinus, SetPlus, UserVar, ValueAt

public interface Term<T>
Author:
Fabien Hermenier
  • Method Summary

    Modifier and Type Method Description
    T eval​(Context mo, Object... args)  
    Type type()