Tabnine Logo
ATermAppl.getType
Code IndexAdd Tabnine to your IDE (free)

How to use
getType
method
in
openllet.aterm.ATermAppl

Best Java code snippets using openllet.aterm.ATermAppl.getType (Showing top 1 results out of 315)

origin: Galigator/openllet

@Override
public boolean equivalent(final SharedObject obj)
{
  if (obj instanceof ATermAppl)
  {
    final ATermAppl peer = (ATermAppl) obj;
    if (peer.getType() != getType())
      return false;
    if (peer.getAFun().equals(_fun))
    {
      for (int i = 0; i < _args.length; i++)
        if (!peer.getArgument(i).equals(_args[i]))
          return false;
      return true;//peer.getAnnotations().equals(getAnnotations());
    }
  }
  return false;
}
openllet.atermATermApplgetType

Popular methods of ATermAppl

  • getArgument
  • getName
  • getAFun
  • getArity
  • getArgumentArray
    Gets the arguments of this application as an array of ATerm objects.
  • getChildAt
  • getArguments
    Gets the arguments of this application.
  • isEqual
  • isQuoted
    Checks if this application is quoted. A quoted application looks like this: "foo", whereas an unquot
  • setArgument
    Sets a specific argument of this application.

Popular in Java

  • Running tasks concurrently on multiple threads
  • getSystemService (Context)
  • setContentView (Activity)
  • scheduleAtFixedRate (ScheduledExecutorService)
  • Rectangle (java.awt)
    A Rectangle specifies an area in a coordinate space that is enclosed by the Rectangle object's top-
  • InputStream (java.io)
    A readable source of bytes.Most clients will use input streams that read data from the file system (
  • Arrays (java.util)
    This class contains various methods for manipulating arrays (such as sorting and searching). This cl
  • Properties (java.util)
    A Properties object is a Hashtable where the keys and values must be Strings. Each property can have
  • Timer (java.util)
    Timers schedule one-shot or recurring TimerTask for execution. Prefer java.util.concurrent.Scheduled
  • Collectors (java.util.stream)
  • Top plugins for WebStorm
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now