aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl
ModeNameSize
-rw-r--r--AggregateExpressionImpl.java4004logstatsplainblame
-rw-r--r--AndImpl.java3660logstatsplainblame
-rw-r--r--AssertionImpl.java8739logstatsplainblame
-rw-r--r--AtomicTermImpl.java857logstatsplainblame
-rw-r--r--BoolLiteralImpl.java3744logstatsplainblame
-rw-r--r--BoolOperationImpl.java878logstatsplainblame
-rw-r--r--BoolTypeReferenceImpl.java917logstatsplainblame
-rw-r--r--ComplexTypeReferenceImpl.java3990logstatsplainblame
-rw-r--r--ConstantDeclarationImpl.java915logstatsplainblame
-rw-r--r--ConstantDefinitionImpl.java6736logstatsplainblame
-rw-r--r--ConstantImpl.java6877logstatsplainblame
-rw-r--r--CountImpl.java826logstatsplainblame
-rw-r--r--DefinedElementImpl.java4576logstatsplainblame
-rw-r--r--DistinctImpl.java3734logstatsplainblame
-rw-r--r--DivisonImpl.java837logstatsplainblame
-rw-r--r--EqualsImpl.java7217logstatsplainblame
-rw-r--r--ExistsImpl.java834logstatsplainblame
-rw-r--r--ForallImpl.java834logstatsplainblame
-rw-r--r--FunctionDeclarationImpl.java915logstatsplainblame
-rw-r--r--FunctionDefinitionImpl.java8354logstatsplainblame
-rw-r--r--FunctionImpl.java8311logstatsplainblame
-rw-r--r--IfThenElseImpl.java9297logstatsplainblame
-rw-r--r--IffImpl.java7132logstatsplainblame
-rw-r--r--ImplImpl.java7159logstatsplainblame
-rw-r--r--InstanceOfImpl.java6903logstatsplainblame
-rw-r--r--IntLiteralImpl.java3714logstatsplainblame
-rw-r--r--IntTypeReferenceImpl.java910logstatsplainblame
-rw-r--r--LessOrEqualThanImpl.java7520logstatsplainblame
-rw-r--r--LessThanImpl.java7291logstatsplainblame
-rw-r--r--LogiclanguageFactoryImpl.java16159logstatsplainblame
-rw-r--r--LogiclanguagePackageImpl.java82059logstatsplainblame
-rw-r--r--MaxImpl.java821logstatsplainblame
-rw-r--r--MinImpl.java821logstatsplainblame
-rw-r--r--MinusImpl.java823logstatsplainblame
-rw-r--r--ModImpl.java809logstatsplainblame
-rw-r--r--MoreOrEqualThanImpl.java7520logstatsplainblame
-rw-r--r--MoreThanImpl.java7291logstatsplainblame
-rw-r--r--MultiplyImpl.java844logstatsplainblame
-rw-r--r--NotImpl.java4539logstatsplainblame
-rw-r--r--NumericOperationImpl.java7503logstatsplainblame
-rw-r--r--OrImpl.java3646logstatsplainblame
-rw-r--r--PlusImpl.java816logstatsplainblame
-rw-r--r--PowImpl.java809logstatsplainblame
-rw-r--r--PrimitiveRelationImpl.java906logstatsplainblame
-rw-r--r--PrimitiveTypeReferenceImpl.java952logstatsplainblame
-rw-r--r--ProjectedAggregateExpressionImpl.java4326logstatsplainblame
-rw-r--r--QuantifiedExpressionImpl.java6864logstatsplainblame
-rw-r--r--RealLiteralImpl.java3847logstatsplainblame
-rw-r--r--RealTypeReferenceImpl.java917logstatsplainblame
-rw-r--r--RelationDeclarationImpl.java915logstatsplainblame
-rw-r--r--RelationDefinitionImpl.java8381logstatsplainblame
-rw-r--r--RelationImpl.java5981logstatsplainblame
-rw-r--r--StringLiteralImpl.java3817logstatsplainblame
-rw-r--r--StringTypeReferenceImpl.java931logstatsplainblame
-rw-r--r--SumImpl.java821logstatsplainblame
-rw-r--r--SymbolicDeclarationImpl.java3964logstatsplainblame
-rw-r--r--SymbolicValueImpl.java6620logstatsplainblame
-rw-r--r--TermImpl.java890logstatsplainblame
-rw-r--r--TransitiveClosureImpl.java9474logstatsplainblame
-rw-r--r--TypeDeclarationImpl.java883logstatsplainblame
-rw-r--r--TypeDefinitionImpl.java6489logstatsplainblame
-rw-r--r--TypeImpl.java9203logstatsplainblame
-rw-r--r--TypeReferenceImpl.java955logstatsplainblame
-rw-r--r--UnknownBecauseUninterpretedImpl.java969logstatsplainblame
-rw-r--r--VariableImpl.java4618logstatsplainblame